BibSLEIGH — construct stem

Used together with:

system (119)
model (116)
base (106)
program (95)
use (85)

Stem construct$ (all stems)

1115 papers:

DAC-2015-EwetzJK #configuration management #design: Construction of reconfigurable clock trees for MCMM designs (RE, SJ, CKK), p. 6.
DATE-2015-LiuDNL #hardware #named #realtime: FastTree: a hardware KD-tree construction acceleration engine for real-time ray tracing (XL, YD, YN, ZL), pp. 1595–1598.
DATE-2015-SkalickySLF #framework #hardware #runtime: A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.
VLDB-2015-ConsensFKP #bisimulation #query #summary: S+EPPs: Construct and Explore Bisimulation Summaries, plus Optimize Navigational Queries; all on Existing SPARQL Systems (MPC, VF, SK, GP), pp. 2028–2039.
VLDB-2015-LiCM #approach #data-driven #query: Query From Examples: An Iterative, Data-Driven Approach to Query Construction (HL, CYC, DM), pp. 2158–2169.
VLDB-2015-ShinRC #knowledge base #named: Mindtagger: A Demonstration of Data Labeling in Knowledge Base Construction (JS, CR, MJC), pp. 1920–1931.
VLDB-2015-ShinWWSZR #incremental #knowledge base #using: Incremental Knowledge Base Construction Using DeepDive (JS, SW, FW, CDS, CZ, CR), pp. 1310–1321.
ITiCSE-2015-Frison #algorithm #education: A Teaching Assistant for Algorithm Construction (PF), pp. 9–14.
ICPC-2015-LafetaMR #dynamic analysis #framework #using: Framework instantiation using cookbooks constructed with static and dynamic analysis (RFL, MdAM, DR), pp. 125–128.
SCAM-2015-BonifacioCRKC #c++ #exception: The use of C++ exception handling constructs: A comprehensive study (RB, FC, GNR, UK, RC), pp. 21–30.
LATA-2015-CazauxLR #assembly #graph: Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree (BC, TL, ER), pp. 109–120.
LATA-2015-PolicritiGP #linear: Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform (AP, NG, NP), pp. 587–598.
CHI-2015-BrotmanBFHL #design: Building Change: Constructive Design of Smart Domestic Environments for Goal Achievement (RB, WB, JF, WH, JL), pp. 3083–3092.
CHI-2015-MeutznerGK #difference: Constructing Secure Audio CAPTCHAs by Exploiting Differences between Humans and Machines (HM, SG, DK), pp. 2335–2338.
CHI-2015-VigoJS #authoring #concept #ontology #process: Constructing Conceptual Knowledge Artefacts: Activity Patterns in the Ontology Authoring Process (MV, CJ, RS), pp. 3385–3394.
CSCW-2015-DantecF #research: Strangers at the Gate: Gaining Access, Building Rapport, and Co-Constructing Community-Based Research (CALD, SF), pp. 1348–1358.
HCI-DE-2015-Alessandrini #challenge #interactive #physics #programming #prototype: Practices, Technologies, and Challenges of Constructing and Programming Physical Interactive Prototypes (AA), pp. 132–142.
LCT-2015-FardounAC15a #self #student: Construction of Educative Micro-Worlds to Build Students’ Creativity in Terms of Their Own Self-Learning (HMF, AAMAG, APC), pp. 349–360.
LCT-2015-OnoOIY #case study #communication: Voice-Based Computer Mediated Communication for Individual Practice to Increase Speaking Proficiency: Construction and Pilot Study (YO, AO, MI, MY), pp. 115–123.
CAiSE-2015-GuarinoG #modelling #quote: “We Need to Discuss the Relationship”: Revisiting Relationships as Modeling Constructs (NG, GG), pp. 279–294.
KDD-2015-WangLSH #approach #composition #interactive #recursion #topic #towards: Towards Interactive Construction of Topical Hierarchy: A Recursive Tensor Decomposition Approach (CW, XL, YS, JH), pp. 1225–1234.
SIGIR-2015-HeindorfPSE #analysis #corpus #detection #knowledge base #towards: Towards Vandalism Detection in Knowledge Bases: Corpus Construction and Analysis (SH, MP, BS, GE), pp. 831–834.
SAC-2015-DihegoSO #component: Constructive extensibility of trustworthy component-based systems (JD, AS, MVMO), pp. 1808–1814.
SAC-2015-GoncalvesON #architecture: A meta-process to construct software architectures for system of systems (MBG, FO, EYN), pp. 1411–1416.
SAC-2015-TodaT #performance #satisfiability: BDD construction for all solutions SAT and efficient caching mechanism (TT, KT), pp. 1880–1886.
ASPLOS-2015-WangJZY #memory management #named #reliability: SD-PCM: Constructing Reliable Super Dense Phase Change Memory under Write Disturbance (RW, LJ, YZ, JY), pp. 19–31.
CSL-2015-LehtinenQ: Deciding the First Levels of the Modal μ Alternation Hierarchy by Formula Construction (KL, SQ), pp. 457–471.
RTA-2015-KotsireasKS #design #equation #orthogonal #unification: Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification (ISK, TK, DES), pp. 241–256.
SAT-2015-DouglassKR #quantum #satisfiability: Constructing SAT Filters with a Quantum Annealer (AD, ADK, JR), pp. 104–120.
TLCA-2015-BezemCP #set: Non-Constructivity in Kan Simplicial Sets (MB, TC, EP), pp. 92–106.
ASE-2014-HamidiAL #adaptation #using: Constructing adaptive configuration dialogs using crowd data (SH, PA, SL), pp. 485–490.
CASE-2014-GlorieuxDSL #approach #optimisation #using: Optimisation of interacting production stations using a Constructive Cooperative Coevolutionary approach (EG, FD, BS, BL), pp. 322–327.
CASE-2014-LiuLS #monitoring: A wavelet-based characteristic vector construction method for machining condition monitoring (CL, YL, WS), pp. 304–308.
CASE-2014-RahmanCBM #approach #assessment #safety: Ex-ante assessment of struck-by safety hazards in construction projects: A motion-planning approach (MMR, TC, LB, AM), pp. 277–282.
DATE-2014-BaiS #network: Isochronous networks by construction (YB, KS), pp. 1–6.
DATE-2014-DelvauxV: Key-recovery attacks on various RO PUF constructions via helper data manipulation (JD, IV), pp. 1–6.
DATE-2014-OrtinGVIV: Dynamic construction of circuits for reactive traffic in homogeneous CMPs (MO, DSG, MV, CI, VV), pp. 1–4.
SIGMOD-2014-Garcia-AlvaradoO #named #ontology: ONTOCUBO: cube-based ontology construction and exploration (CGA, CO), pp. 1083–1086.
SIGMOD-2014-MoerkotteDMNB #order: Exploiting ordered dictionaries to efficiently construct histograms with q-error guarantees in SAP HANA (GM, DD, NM, AN, AB), pp. 361–372.
SIGMOD-2014-TaoBHJWNELRS #automation #named #network: NewsNetExplorer: automatic construction and exploration of news information networks (FT, GB, JH, HJ, CW, BN, AEK, JL, XR, YS), pp. 1091–1094.
VLDB-2015-LiJ14 #database #interactive #interface #natural language #relational: Constructing an Interactive Natural Language Interface for Relational Databases (FL, HVJ), pp. 73–84.
ESOP-2014-DownenA: The Duality of Construction (PD, ZMA), pp. 249–269.
ESOP-2014-Garnock-JonesTF #network: The Network as a Language Construct (TGJ, STH, MF), pp. 473–492.
CSMR-WCRE-2014-TianLL #automation #database #similarity #word: Automated construction of a software-specific word similarity database (YT, DL, JLL), pp. 44–53.
PLDI-2014-HanxledenDMSMAMO #named #safety: SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts (RvH, BD, CM, SS, MM, JA, SM, OO), p. 39.
STOC-2014-Belazzougui #linear: Linear time construction of compressed text indices in compact space (DB), pp. 148–193.
FLOPS-2014-Sacchini #calculus #linear: Linear Sized Types in the Calculus of Constructions (JLS), pp. 169–185.
AFL-2014-MignotSZ14a #automaton #equation: $k$-Position, Follow, Equation and $k$-C-Continuation Tree Automata Constructions (LM, NOS, DZ), pp. 327–341.
ICALP-v1-2014-ColeK #algorithm #performance #summary: Fast Algorithms for Constructing Maximum Entropy Summary Trees (RC, HJK), pp. 332–343.
LATA-2014-Cerny #composition #morphism #multi #problem: Solutions to the Multi-dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms (AC), pp. 273–284.
SEFM-2014-ArmstrongGS #higher-order #lightweight #tool support #verification: Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.
CHI-2014-HodgesVCCQNK #interactive #prototype: Circuit stickers: peel-and-stick construction of interactive electronic prototypes (SH, NV, NC, TC, JQ, DN, YK), pp. 1743–1746.
CHI-2014-LiangCTKHYC #interactive #named: GaussBricks: magnetic building blocks for constructive tangible interactions on portable displays (RHL, LWC, HYT, HCK, DYH, DNY, BYC), pp. 3153–3162.
CHI-2014-MuellerMGFB #3d #functional #named #performance: faBrickation: fast 3D printing of functional objects by integrating construction kit building blocks (SM, TM, KG, JF, PB), pp. 3827–3834.
CHI-2014-RoudautRHS #assembly #design #named: Changibles: analyzing and designing shape changing constructive assembly (AR, RR, TH, SS), pp. 2593–2596.
CHI-2014-WarnestalSN: Co-constructing child personas for health-promoting services with vulnerable children (PW, PS, JN), pp. 3767–3776.
CSCW-2014-FergusonMCM: Craving, creating, and constructing comfort: insights and opportunities for technology in hospice (RDF, MM, EAC, KAM), pp. 1479–1490.
HCI-AIMT-2014-RestyanditoCP: The Effect of Voice Instruction on the Construction of Mental Model (R, AHSC, UP), pp. 481–491.
HCI-TMT-2014-CafezeiroGCM #behaviour #collaboration #interactive #roadmap: A Knowledge-Construction Perspective on Human Computing, Collaborative Behavior and New Trends in System Interactions (IC, CG, VC, IdCM), pp. 58–68.
HCI-TMT-2014-SousaB #recommendation #statistics: Recommender System to Support Chart Constructions with Statistical Data (TAFdS, SDJB), pp. 631–642.
HIMI-DE-2014-Ainoya #towards: KADEN Project — Towards the Construction of Model for Sharing Cognition in Manufacturing - (TA), pp. 291–297.
VISSOFT-2014-BarikLCM #approach #compilation #developer #how #visualisation: How Developers Visualize Compiler Messages: A Foundational Approach to Notification Construction (TB, KL, SC, ERMH), pp. 87–96.
ICEIS-v2-2014-ShumskyRW #calculus #execution #process: Processes Construction and π-calculus-based Execution and Tracing (LS, VR, VW), pp. 448–453.
ICEIS-v3-2014-BernardoSB #automation #recognition #spreadsheet: Automatic Interpretation Biodiversity Spreadsheets Based on Recognition of Construction Patterns (IRB, AS, MCCB), pp. 57–68.
CIKM-2014-MukherjeeAJ #corpus #framework #ontology: Domain Cartridge: Unsupervised Framework for Shallow Domain Ontology Construction from Corpus (SM, JA, SJ), pp. 929–938.
ICML-c2-2014-SatoKN #analysis #normalisation: Latent Confusion Analysis by Normalized Gamma Construction (IS, HK, HN), pp. 1116–1124.
ICPR-2014-BertonL #graph #learning: Graph Construction Based on Labeled Instances for Semi-supervised Learning (LB, AdAL), pp. 2477–2482.
ICPR-2014-DornaikaBSR #classification #encoding #graph #locality: Locality Constrained Encoding Graph Construction and Application to Outdoor Object Classification (FD, AB, HS, YR), pp. 2483–2488.
ICPR-2014-FuGYGY #detection #graph: Graph Construction for Salient Object Detection in Videos (KF, IYHG, YY, CG, JY), pp. 2371–2376.
ICPR-2014-NishimuraOAN #image #modelling #speech #using #web: Selection of Unknown Objects Specified by Speech Using Models Constructed from Web Images (HN, YO, YA, MN), pp. 477–482.
ICPR-2014-RazafindramananaRV #clustering #incremental: Incremental Delaunay Triangulation Construction for Clustering (OR, FR, GV), pp. 1354–1359.
KDD-2014-BordesG #graph #mining #tutorial: Constructing and mining web-scale knowledge graphs: KDD 2014 tutorial (AB, EG), p. 1967.
KDIR-2014-AzadM #classification #consistency #fault #heuristic: “Misclassification Error” Greedy Heuristic to Construct Decision Trees for Inconsistent Decision Tables (MA, MJM), pp. 184–191.
KDIR-2014-FekiAA #adaptation #image #retrieval #semantics: Adaptive Semantic Construction for Diversity-based Image Retrieval (GF, ABA, CBA), pp. 444–449.
KEOD-2014-MhimdiKG #ontology #semantics: Construction of Ontology for Semantic Annotation Resume (NM, WBAK, HHBG), pp. 223–229.
KMIS-2014-KimK #case study #contract #information management: A Study on the Improvement of Contract Information Management in Korea’s Public Construction Technology Service (NK, SJK), pp. 387–392.
KMIS-2014-KimKO #performance: System Improvement for the Management of Subcontracted Service Performance Information in Korea’s Public Construction (SJK, NK, HO), pp. 382–386.
KMIS-2014-WitschelTL #automation #navigation #topic: Where Did I(T) Put It? — A Holistic Solution to the Automatic Construction of Topic Trees for Navigation (HFW, BT, JL), pp. 194–202.
KR-2014-CharalambidisR #higher-order #logic programming: Constructive Negation in Extensional Higher-Order Logic Programming (AC, PR).
SEKE-2014-WanZWS #analysis #graph #performance #points-to: Efficient Points-To Analysis for Partial Call Graph Construction (ZW, BZ, YW, YS), pp. 416–421.
AMT-2014-RichaBPBR #algebra #graph transformation #model transformation #testing #towards #using: Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
ECMFA-2014-CuadradoGL #model transformation #towards: Towards the Systematic Construction of Domain-Specific Transformation Languages (JSC, EG, JdL), pp. 196–212.
ECOOP-2014-AliRLDT #graph #scala #source code: Constructing Call Graphs of Scala Programs (KA, MR, OL, JD, FT), pp. 54–79.
OOPSLA-2014-PintoCL #behaviour #comprehension #concurrent #energy #thread: Understanding energy behaviors of thread management constructs (GP, FC, YDL), pp. 345–360.
SAC-2014-NguyenJ0B #automation #diagrams #embedded #modelling #realtime #uml: Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software (MCN, EJ, JC, DHB), pp. 1140–1145.
SLE-2014-Hills #control flow #graph: Streamlining Control Flow Graph Construction with DCFlow (MH), pp. 322–341.
CC-2014-TavaresBPR #analysis #data flow: Parameterized Construction of Program Representations for Sparse Dataflow Analyses (ALCT, BB, FMQP, FR), pp. 18–39.
IJCAR-2014-ZeljicWR #approximate: Approximations for Model Construction (AZ, CMW, PR), pp. 344–359.
ISSTA-2014-TillmannHXB: Constructing coding duels in Pex4Fun and code hunt (NT, JdH, TX, JB), pp. 445–448.
RTA-TLCA-2014-Maieli #proving: Construction of Retractile Proof Structures (RM), pp. 319–333.
CBSE-2013-JafroodiG #implementation: Implementing generalized alternative construct for erasmus language (NJ, PG), pp. 101–110.
ECSA-2013-TounsiKK #design pattern #modelling #refinement: Building Correct by Construction SOA Design Patterns: Modeling and Refinement (IT, MHK, AHK), pp. 33–44.
ASE-2013-KusanoW #c #c++ #concurrent #generative #named #parallel #thread: CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications (MK, CW), pp. 722–725.
CASE-2013-RoszkowskaG #distributed #multi: Correct-by-construction distributed control for multi-vehicle transport systems (ER, IG), pp. 156–161.
DATE-2013-ElbayoumiHE #concurrent #diagrams #manycore #novel: A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms (ME, MSH, MYE), pp. 1427–1430.
DATE-2013-HanxledenMADFMMO #concurrent: Sequentially constructive concurrency: a conservative extension of the synchronous model of computation (RvH, MM, JA, BD, IF, CM, SM, OO), pp. 581–586.
ICDAR-2013-NayefB: Constructing a Hierarchical Structure from Symbol Alphabets of Technical Line Drawings (NN, TMB), pp. 773–777.
VLDB-2013-BambaRHA #geometry #graph #performance #statistics: Statistics Collection in Oracle Spatial and Graph: Fast Histogram Construction for Complex Geometry Objects (BB, SR, YH, RA), pp. 1021–1032.
VLDB-2013-MousaviGZ #database #knowledge base #mining #named: IBminer: A Text Mining Tool for Constructing and Populating InfoBox Databases and Knowledge Bases (HM, SG, CZ), pp. 1330–1333.
ITiCSE-2013-Rodriguez-CerezoGS #compilation #comprehension #concept #education #interactive #simulation: Interactive educational simulations for promoting the comprehension of basic compiler construction concepts (DRC, MGA, JLSR), pp. 28–33.
ESOP-2013-JeanninKS: Language Constructs for Non-Well-Founded Computation (JBJ, DK, AS), pp. 61–80.
STOC-2013-LenzenP #performance #using: Fast routing table construction using small messages: extended abstract (CL, BPS), pp. 381–390.
ICALP-v1-2013-BilleFGKSV: Sparse Suffix Tree Construction in Small Space (PB, JF, ILG, TK, BS, HWV), pp. 148–159.
ICALP-v1-2013-Kolmogorov #linear #power of #programming: The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization (VK), pp. 625–636.
LATA-2013-BabaaliK #automaton #on the #product line: On the Construction of a Family of Automata That Are Generically Non-minimal (PB, CK), pp. 80–91.
IFM-2013-AndriamiarinaMS #algorithm #distributed #modelling: Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms (MBA, DM, NKS), pp. 268–284.
CHI-2013-BirnholtzHR #student #twitter: Tweeting for class: co-construction as a means for engaging students in lectures (JPB, JTH, DR), pp. 797–800.
DHM-SET-2013-LuL #design #modelling #safety: Constructing Ergonomic Safety Modelling for Evaluating New Designs of Child Car Seats (CYL, HHL), pp. 338–347.
DUXU-WM-2013-OkazawaY #design #modelling: A Proposal of Design Method of Obtaining the Construction Items of Mental Models in Product Design (NO, TY), pp. 408–413.
HCI-AMTE-2013-MartinHE #automation #modelling #user interface: Patterns and Models for Automated User Interface Construction — In Search of the Missing Links (CM, CH, JE), pp. 401–410.
HCI-AS-2013-DePaloPS #documentation #summary #using: Healthcare Interoperability: CDA Documents Consolidation Using Transport Record Summary (TRS) Construction (PD, KEP, YTS), pp. 56–65.
HIMI-HSM-2013-ChunJHJSLCJ #natural language #using: Pathway Construction and Extension Using Natural Language Processing (HWC, SJJ, MNH, CHJ, SKS, SL, SPC, HJ), pp. 32–38.
HIMI-HSM-2013-HondaON #estimation: Estimation of the Facial Impression from Individual Facial Features for Constructing the Makeup Support System (AH, CO, KN), pp. 92–99.
CAiSE-2013-AgtK #automation #modelling #network #scalability #semantics: Automated Construction of a Large Semantic Network of Related Terms for Domain-Specific Modeling (HA, RDK), pp. 610–625.
ICEIS-v2-2013-KimMMK #optimisation #visualisation: Application of Information Technology for Visualizing and Optimizing Construction Project Schedule (HSK, SYM, HSM, LSK), pp. 329–332.
ICEIS-v2-2013-SierraCVCV #education #re-engineering #recommendation: Microworld-type Ethnoeducational Computer Materials to Support the Teaching of Nasa-Yuwe — Recommendations from a Software Engineering Disciplines Viewpoint for Constructing Microworld-type Ethnoeducational Materials Aimed at Supporting Nasa Yuwe Language Teaching (LMS, EASC, JAV, TRC, EMV), pp. 526–531.
ICEIS-v2-2013-WolfengagenRSBS #approach #modelling #process #towards: Applicative Approach to Information Processes Modeling — Towards a Constructive Information Theory (VW, VR, LS, AB, AS), pp. 323–328.
CIKM-2013-BrossE #automation #bibliography #mining #sentiment: Automatic construction of domain and aspect specific sentiment lexicons for customer review mining (JB, HE), pp. 1077–1086.
KDD-2013-WangDDZNTH #framework #mining #recursion #topic: A phrase mining framework for recursive construction of a topical hierarchy (CW, MD, ND, YZ, PN, TT, JH), pp. 437–445.
KDIR-KMIS-2013-ArgiolasCFLMPQS #process: Knowledge in Construction Processes (CA, GC, MDF, MIL, FM, FEP, EQ, DS), pp. 397–404.
KEOD-2013-HafnerHWO #automation #ontology: Semi-automated Ontology Population from Building Construction Drawings (PH, VH, HW, JO), pp. 379–386.
SEKE-2013-JuniorF #experience #mobile #web: SIGAA Mobile — A sucessful experience of constructing a mobile application from a existing web system (GSdAJ, IdMBF), pp. 510–515.
SEKE-2013-MoshirpourEF #approach #automation #ontology #using: Automated Construction of System Domain Knowledge Using an Ontology-Based Approach (S) (MM, AE, BHF), pp. 63–66.
SEKE-2013-YuWYLY #evaluation #named #repository: HESA: The Construction and Evaluation of Hierarchical Software Feature Repository (YY, HW, GY, XL, CY), pp. 624–631.
SIGIR-2013-DemidovaZN #performance #query #scalability: Efficient query construction for large scale data (ED, XZ, WN), pp. 573–582.
SIGIR-2013-LinSKC #modelling #recommendation #twitter: Addressing cold-start in app recommendation: latent user models constructed from twitter followers (JL, KS, MYK, TSC), pp. 283–292.
SIGIR-2013-ZhuMZC #multi #topic: Topic hierarchy construction for the organization of multi-source user generated contents (XZ, ZM, XZ, TSC), pp. 233–242.
ICMT-2013-VarroD #algorithm #incremental #network #pattern matching: A Rete Network Construction Algorithm for Incremental Pattern Matching (GV, FD), pp. 125–140.
GPCE-2013-OfenbeckRSOP #generative #library #performance #scala #towards: Spiral in scala: towards the systematic construction of generators for performance libraries (GO, TR, AS, MO, MP), pp. 125–134.
PPDP-2013-Corte-RealDR #parallel #programming #prolog: Prolog programming with a map-reduce parallel construct (JCR, IdCD, RR), pp. 285–296.
RE-2013-Cousins #architecture #challenge #industrial #requirements: Starchitects and Jack-Hammers: Requirements engineering challenges and practices in the construction industry (keynote) (FC), p. 2.
SAC-2013-AllaniGP #hybrid #named #protocol: Hyphen: a hybrid protocol for generic overlay construction in P2P environments (MA, BG, PP), pp. 423–430.
SAC-2013-CastorSS #assessment #haskell #memory management #transaction: A preliminary assessment of Haskell’s software transactional memory constructs (FC, FSN, ALMS), pp. 1696–1697.
SAC-2013-ChenPX: Constructing and comparing user mobility profiles for location-based services (XC, JP, RX), pp. 261–266.
SAC-2013-SouzaRB #clustering #data access #metric #performance: Faster construction of ball-partitioning-based metric access methods (JAdS, HLR, MCNB), pp. 8–12.
ICSE-2013-Ciccozzi #modelling #uml: From models to code and back: correct-by-construction code from UML and ALF (FC), pp. 1459–1461.
ICSE-2013-FeldthausSSDT #approximate #graph #ide #javascript #performance: Efficient construction of approximate call graphs for JavaScript IDE services (AF, MS, MS, JD, FT), pp. 752–761.
PLEASE-2013-HuangYKHU #analysis #domain-specific language #mining #repository #towards: Domain analysis for mining software repositories: Towards feature-based DSL construction (CH, KY, YK, KH, NU), pp. 41–44.
CC-2013-BraunBHLMZ #performance: Simple and Efficient Construction of Static Single Assignment Form (MB, SB, SH, RL, CM, AZ), pp. 102–122.
CGO-2013-KulkarniCWS #automation #heuristic #machine learning #using: Automatic construction of inlining heuristics using machine learning (SK, JC, CW, DS), p. 12.
CSL-2013-KrishnaswamiD #calculus #parametricity #relational: Internalizing Relational Parametricity in the Extensional Calculus of Constructions (NRK, DD), pp. 432–451.
LICS-2013-HeimbergKS #bound #normalisation: An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree (LH, DK, NS), pp. 63–72.
LICS-2013-Sacchini #calculus #type system: Type-Based Productivity of Stream Definitions in the Calculus of Constructions (JLS), pp. 233–242.
TLCA-2013-XuE: A Constructive Model of Uniform Continuity (CX, MHE), pp. 236–249.
VMCAI-2013-MouraJ #calculus #satisfiability: A Model-Constructing Satisfiability Calculus (LMdM, DJ), pp. 1–12.
CBSE-2012-LauNRT #component #incremental: Incremental construction of component-based systems (KKL, KYN, TR, CMT), pp. 41–50.
QoSA-2012-NaabS #architecture #flexibility #lifecycle: Architectural flexibility in a software-system’s life-cycle: systematic construction and exploitation of flexibility (MN, JS), pp. 13–22.
ASE-2012-HarmanLJWAC #challenge #programming #search-based #source code #using: The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper) (MH, WBL, YJ, DRW, AA, JAC), pp. 1–14.
CASE-2012-AhnPR: The construction of a full-scale wheel/rail roller rig in Korea (KA, JP, SR), pp. 802–803.
CASE-2012-LangC0W #3d #assembly #injection: Injection system for cellular assembly of 3D bio-tissue engineered constructs (ML, XC, WW, TBFW), pp. 291–296.
CASE-2012-RyuJYC #development: Development of refractory brick construction robot in steel works (HR, MJ, KY, CC), pp. 796–801.
CASE-2012-YamaguchiIS #data-driven #database #fault #network: Data based construction of Bayesian Network for fault diagnosis of event-driven systems (TY, SI, TS), pp. 508–514.
DAC-2012-BachrachVRLWAWA #embedded #hardware #named #scala: Chisel: constructing hardware in a Scala embedded language (JB, HV, BR, YL, AW, RA, JW, KA), pp. 1216–1225.
DAC-2012-JiangZZY #embedded #multi #performance #scalability: Constructing large and fast multi-level cell STT-MRAM based cache for embedded processors (LJ, BZ, YZ, JY), pp. 907–912.
DAC-2012-LiuCL #algorithm #multi #performance: An efficient algorithm for multi-layer obstacle-avoiding rectilinear Steiner tree construction (CHL, ICC, DTL), pp. 613–622.
DATE-2012-SinhaRSB #component #design #multi: Correct-by-construction multi-component SoC design (RS, PSR, ZS, SB), pp. 647–652.
DATE-2012-TodorovMRS #approximate #automation #memory management #transaction: Automated construction of a cycle-approximate transaction level model of a memory controller (VT, DMG, HR, US), pp. 1066–1071.
DocEng-2012-ChenZ #effectiveness #segmentation #towards: Effective radical segmentation of offline handwritten Chinese characters towards constructing personal handwritten fonts (ZC, BZ), pp. 107–116.
DRR-2012-MorillotLG #modelling: Construction of language models for an handwritten mail reading system (OM, LLS, EG).
CSEET-2012-MaoJSZ #education: A New Model on the School-Enterprise Cooperation Curriculum Construction (HM, NJ, WS, YZ), pp. 115–119.
ITiCSE-2012-MI #algorithm: A method to construct counterexamples for greedy algorithms (JM, SI), pp. 238–243.
SCAM-2012-ThiagarajanHBR #contract #data flow #developer: Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK (HT, JH, JB, R), pp. 132–137.
WCRE-2012-OssherSL #bottom-up #named #repository: Astra: Bottom-up Construction of Structured Artifact Repositories (JO, HS, CVL), pp. 41–50.
STOC-2012-VadhanZ #generative #pseudo: Characterizing pseudoentropy and simplifying pseudorandom generator constructions (SPV, CJZ), pp. 817–836.
FM-2012-GiorginoS #algorithm #correctness #pointer: Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction (MG, MS), pp. 202–216.
ICGT-2012-AnjorinST #graph grammar: Construction of Integrity Preserving Triple Graph Grammars (AA, AS, GT), pp. 356–370.
ICEIS-v1-2012-HudecS #fuzzy #query #set: Construction of Fuzzy Sets and Applying Aggregation Operators for Fuzzy Queries (MH, FS), pp. 253–258.
CIKM-2012-HuangLTF #keyword #performance #query: Efficient safe-region construction for moving top-K spatial keyword queries (WH, GL, KLT, JF), pp. 932–941.
CIKM-2012-RajputEPA #documentation: Constructing test collections by inferring document relevance via extracted relevant information (SR, MEA, VP, JAA), pp. 145–154.
ICPR-2012-LiuDHZL #linear: A cost construction via MSW and linear regression for stereo matching (TL, XD, ZH, XZ, LL), pp. 914–917.
KDD-2012-LiuSLW #automation #keyword #taxonomy: Automatic taxonomy construction from keywords (XL, YS, SL, HW), pp. 1433–1441.
KDD-2012-OhKPY #network #realtime #semantics: PubMed search and exploration with real-time semantic network construction (JO, TK, SP, HY), pp. 1572–1575.
KDD-2012-WeiZP #nondeterminism: Constructing popular routes from uncertain trajectories (LYW, YZ, WCP), pp. 195–203.
KDIR-2012-CheungZZ #approach #network: A Bayesian Approach for Constructing Ensemble Neural Network (SHC, YZ, ZZ), pp. 374–377.
MLDM-2012-XuCG #concept #learning #multi #using: Constructing Target Concept in Multiple Instance Learning Using Maximum Partial Entropy (TX, DKYC, IG), pp. 169–182.
SEKE-2012-GayedLB #forensics #semantics #towards #web: Computer Forensics: Toward the Construction of Electronic Chain of Custody on the Semantic Web (TFG, HL, MB), pp. 406–411.
ECMFA-2012-GoldschmidtM #domain-specific language #query: An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters (TG, WM), pp. 62–73.
ECOOP-2012-AliL #graph: Application-Only Call Graph Construction (KA, OL), pp. 688–712.
POPL-2012-RamananandroRL #c++ #resource management #semantics: A mechanized semantics for C++ object construction and destruction, with applications to resource management (TR, GDR, XL), pp. 521–532.
RE-2012-Yi0ZJM #constraints #feature model #mining #modelling: Mining binary constraints in the construction of feature models (LY, WZ, HZ, ZJ, HM), pp. 141–150.
SAC-2012-Affeldt #library #low level #on the: On construction of a library of formally verified low-level arithmetic functions (RA), pp. 1326–1331.
SAC-2012-IencoPPT #automation #taxonomy #towards: Towards an automatic construction of Contextual Attribute-Value Taxonomies (DI, YP, PP, MT), pp. 113–118.
ICSE-2012-IwamaNT #industrial #natural language #parsing #specification: Constructing parser for industrial software specifications containing formal and natural language description (FI, TN, HT), pp. 1012–1021.
PLEASE-2012-BaumgartFP #approach #certification #component #functional #performance #safety #towards #using: Towards efficient functional safety certification of construction machinery using a component-based approach (SB, JF, SP), pp. 1–4.
CC-2012-YangBMIGSSS #c++ #inheritance #program analysis: Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis (JY, GB, NM, FI, AG, NS, SS, NS), pp. 144–164.
ICST-2012-MizanF #analysis #automation #performance: Automated Performance Model Construction through Event Log Analysis (AM, GF), pp. 636–641.
LICS-2012-AvronKZ #calculus #composition #logic: Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (AA, BK, AZ), pp. 85–94.
LICS-2012-Constable #on the: On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (RLC), pp. 2–8.
LICS-2012-Herbelin #logic #proving: A Constructive Proof of Dependent Choice, Compatible with Classical Logic (HH), pp. 365–374.
LICS-2012-SchalkS #linear #logic #modelling #multi: Constructing Fully Complete Models for Multiplicative Linear Logic (AS, HPS), pp. 571–580.
TAP-2012-SulzmannZ #analysis #finite #linear #logic: Constructive Finite Trace Analysis with Linear Temporal Logic (MS, AZ), pp. 132–148.
ECSA-2011-DeitersR #approach #architecture #composition #design: A Constructive Approach to Compositional Architecture Design (CD, AR), pp. 75–82.
CASE-2011-KloetzerG: Software tool for constructing cell decompositions (MK, NG), pp. 507–512.
DAC-2011-HuangY #algorithm: An exact algorithm for the construction of rectilinear Steiner minimum trees among complex obstacles (TH, EFYY), pp. 164–169.
DATE-2011-BaiDCD #automation #modelling #network #performance: Automated construction of fast and accurate system-level models for wireless sensor networks (LSB, RPD, PHC, PAD), pp. 1083–1088.
ICDAR-2011-ZhuN11a #classification #online #recognition #scalability: A Coarse Classifier Construction Method from a Large Number of Basic Recognizers for On-line Recognition of Handwritten Japanese Characters (BZ, MN), pp. 1090–1094.
SIGMOD-2011-WeningerDFHHJKKLMSTWY #analysis #named #network: WINACS: construction and analysis of web-based computer science information networks (TW, MD, FF, JMH, JH, TJJ, SK, HK, ZL, DM, YS, NET, CW, XY), pp. 1255–1258.
VLDB-2012-MansourASK11 #named #parallel #performance #string: ERA: Efficient Serial and Parallel Suffix Tree Construction for Very Long Strings (EM, AA, SS, PK), pp. 49–60.
ITiCSE-2011-LorenzoVP #automation #compilation #evaluation: A proposal for automatic evaluation in a compiler construction course (EJL, JV, AP), pp. 308–312.
FoSSaCS-2011-Hamana #polymorphism #syntax: Polymorphic Abstract Syntax via Grothendieck Construction (MH), pp. 381–395.
TACAS-2011-GaravelLMS #analysis #distributed #process: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (HG, FL, RM, WS), pp. 372–387.
SCAM-2011-SawinR #algorithm #graph: Assumption Hierarchy for a CHA Call Graph Construction Algorithm (JS, AR), pp. 35–44.
PLDI-2011-GulwaniKT #geometry: Synthesizing geometry constructions (SG, VAK, AT), pp. 50–61.
STOC-2011-Karnin: Deterministic construction of a high dimensional lp section in l1n for any p<2 (ZSK), pp. 645–654.
AFL-2011-LoeligerN #design #graph #user interface: Affordance Graphs for User Interface Design: Application of Category-theoretic Constructs (EAL, CLN), pp. 392–394.
ICALP-v2-2011-LairdMM #category theory #difference #game studies: Constructing Differential Categories and Deconstructing Categories of Games (JL, GM, GM), pp. 186–197.
IFL-2011-PerssonAS #embedded #monad: Generic Monadic Constructs for Embedded Languages (AP, EA, JS), pp. 85–99.
GCM-2010-HeumullerJKS11 #category theory: Construction of Pushout Complements in the Category of Hypergraphs (MH, SJ, BK, JS).
CHI-2011-DiSalvoYGMMPB: African American men constructing computing identity (BJD, SY, MG, TM, CM, KP, AB), pp. 2967–2970.
CHI-2011-HourcadeB #human-computer: HCI for peace: a call for constructive action (JPH, NEBR), pp. 443–452.
CHI-2011-KinMBDHA #multi #named: Eden: a professional multitouch tool for constructing virtual organic environments (KK, TM, BB, TD, BH, MA), pp. 1343–1352.
CSCW-2011-HamasakiGT #collaboration #social: Social Infobox: collaborative knowledge construction by social property tagging (MH, MG, HT), pp. 641–644.
HCI-UA-2011-Fox #architecture: Self Replicating Robotic Strategies as a Catalyst for Autonomous Architectural Construction (MAF), pp. 307–317.
HCI-UA-2011-YoshimiMIKOT #analysis #database: Construction and Analysis of Database on Outer Cases of Medicines (HY, HM, AI, MK, MO, FT), pp. 226–231.
HIMI-v1-2011-NasuKAN #information management: Information Processing for Constructing Tactile Perception of Motion: A MEG Study (AN, KK, TA, SN), pp. 478–487.
HIMI-v1-2011-OhoriSNI #analysis: Construction of a Model for Discriminating between Electroencephalographic Patterns at the Time of Incorrect Inputs Based on Sensitivity Spectrum Analysis (RO, DS, YN, SI), pp. 618–626.
HIMI-v1-2011-VogelZO #analysis: Constructing Phylogenetic Trees Based on Intra-group Analysis of Human Mitochondrial DNA (IV, FZ, PO), pp. 165–169.
IDGD-2011-MurakamiNNY #community #design #education #framework: Design and Construction of SNS Platform and “Working Room” for Making Community for Fostering Japanese Teachers (MM, NN, KN, KY), pp. 543–549.
ICEIS-v1-2011-CuiZ #research: Research on the Green Hotel Management of Construction (BC, HZ), pp. 453–456.
ICEIS-v1-2011-TangZY #research: Service-oriented Government Websites Construction Research (RT, ZZ, YY), pp. 550–553.
ICEIS-v1-2011-TongSSX #network: Discipline and Infrastructures of Constructing Service Overlay Network (JT, MS, JS, KX), pp. 571–575.
ICEIS-v2-2011-Fan #case study: Study on the Green Transport in Bi-typed Society Construction (XF), pp. 394–399.
ICEIS-v2-2011-Hu #enterprise: Business “Blood Circulation” — A Brief Introduction on the Construction Enterprise Cash Flow Management (YH), pp. 307–310.
ICEIS-v2-2011-HuangL #enterprise #information management #research: Research on Construction and Applications of Management Information System in Highway Enterprise (XH, WL), pp. 275–281.
ICEIS-v2-2011-Jiang #case study #enterprise #information management: A case Study for Information Management System in Construction Enterprises (JJ), pp. 311–317.
ICEIS-v2-2011-Jiang11a #enterprise: Information Innovation of Construction Enterprises with Macro-economic Readjustment (JJ), pp. 323–326.
ICEIS-v2-2011-Pang #analysis #quality: Analysis of Remote Quality Inspection System for Construction Projects (JP), pp. 341–344.
ICEIS-v2-2011-Xu #case study #development #enterprise #information management: Case Study on Development and Application of Information Management Systems in Highway Construction Enterprises (HX), pp. 327–335.
ICEIS-v3-2011-Li11e #analysis #quality: Construction and Analysis of Service Quality Model for Beijing Urban Mass Transit (WL), pp. 541–543.
ICEIS-v4-2011-ChenZS: The Construction and Trend of Intelligent Information Campus (YC, RZ, XS), pp. 505–508.
ICEIS-v4-2011-XinQ #information management #paradigm: The Construction of Open Innovation Paradigm — A Perspective from the Knowledge Management (SX, WQ), pp. 401–406.
ICEIS-v4-2011-YangZC #ecosystem #enterprise #perspective: The Construction of Dynamic Capabilities for Publishing Enterprises — A Business Ecosystem Perspective (LY, RZ, WC), pp. 636–640.
CIKM-2011-BaeHKF: Constructing seminal paper genealogy (DHB, SMH, SWK, CF), pp. 2101–2104.
CIKM-2011-CleuziouBLD #automation #framework #semantics: A pretopological framework for the automatic construction of lexical-semantic structures from texts (GC, DB, VL, GD), pp. 2453–2456.
CIKM-2011-HosseiniCMSV #information retrieval: Prioritizing relevance judgments to improve the construction of IR test collections (MH, IJC, NMF, TS, VV), pp. 641–646.
CIKM-2011-PeukertER #process #rule-based: Rule-based construction of matching processes (EP, JE, ER), pp. 2421–2424.
CIKM-2011-RajputPGA #paradigm: A nugget-based test collection construction paradigm (SR, VP, PBG, JAA), pp. 1945–1948.
CIKM-2011-WachsmuthSE #information management #performance #pipes and filters: Constructing efficient information extraction pipelines (HW, BS, GE), pp. 2237–2240.
ICML-2011-SunGRS #difference #fault #incremental: Incremental Basis Construction from Temporal Difference Error (YS, FJG, MBR, JS), pp. 481–488.
KDIR-2011-AlkhalidCM #algorithm #comparison: Comparison of Greedy Algorithms for Decision Tree Construction (AA, IC, MM), pp. 438–443.
KEOD-2011-BoinskiOSK #integration #ontology #security: Security Ontology Construction and Integration (TB, PO, JS, HK), pp. 369–374.
KEOD-2011-CastellaniLHGMS #knowledge-based: A Knowledge-based System to Support Legal Case Construction (SC, NL, NH, AG, DBM, FS), pp. 15–27.
KEOD-2011-FrikhDO #hybrid #ontology #web: A Hybrid Method for Domain Ontology Construction from the Web (BF, ASD, BO), pp. 285–292.
SEKE-2011-Kaiser #concurrent #debugging #higher-order #using: Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators (LWGK), pp. 244–249.
OOPSLA-2011-RichardsGEV #automation #benchmark #javascript #metric: Automated construction of JavaScript benchmarks (GR, AG, BE, JV), pp. 677–694.
PADL-2011-PetricekS #concurrent #control flow #named #parallel #programming: Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming (TP, DS), pp. 205–219.
SAC-2011-LimKKP #information management #network: Construction of a blog network based on information diffusion (SHL, SWK, SK, SP), pp. 937–941.
SAC-2011-QueirozGRGQ #diagrams #education #interactive #interface: Effects of scaffoldings on interactive diagram constructions in educational interface for elementary school teachers training (AEdMQ, ASG, CR, AG, SSdQ), pp. 1212–1213.
ICSE-2011-Pankratius #automation #evaluation #parallel #programming #usability: Automated usability evaluation of parallel programming constructs (VP), pp. 936–939.
PPoPP-2011-Ding #concurrent #parallel #programming: Two examples of parallel programming without concurrency constructs (PP-CC) (CD), pp. 299–300.
CSL-2011-FogartyKVW #automaton: Unifying Büchi Complementation Constructions (SF, OK, MYV, TW), pp. 248–263.
ECSA-2010-VerjusCRD #architecture #framework #named: BeeEye: A Framework for Constructing Architectural Views (HV, SC, AR, SD), pp. 376–383.
ASE-2010-LiangWWWXM #automation #effectiveness #set #static analysis: Automatic construction of an effective training set for prioritizing static analysis warnings (GL, LW, QW, QW, TX, HM), pp. 93–102.
DAC-2010-GuptaKKS #benchmark #heuristic #metric #named: Eyecharts: constructive benchmarking of gate sizing heuristics (PG, ABK, AK, PS), pp. 597–602.
DATE-2010-ChineaGDDK #megamodelling #on the #performance: On the construction of guaranteed passive macromodels for high-speed channels (AC, SGT, DD, TD, LK), pp. 1142–1147.
DATE-2010-EconomakosXKS #component #configuration management #synthesis: Construction of dual mode components for reconfiguration aware high-level synthesis (GE, SX, IK, DS), pp. 1357–1360.
DATE-2010-KhalighR #adaptation #kernel #modelling #parallel #simulation: Modeling constructs and kernel for parallel simulation of accuracy adaptive TLMs (RSK, MR), pp. 1183–1188.
HT-2010-ChoudhuryFAGLY #automation #social #using: Automatic construction of travel itineraries using social breadcrumbs (MDC, MF, SAY, NG, RL, CY), pp. 35–44.
SIGMOD-2010-ChenMK #database #probability #query: GRN model of probabilistic databases: construction, transition and querying (RC, YM, IK), pp. 291–302.
SIGMOD-2010-RoyACDY: Constructing and exploring composite items (SBR, SAY, AC, GD, CY), pp. 843–854.
STOC-2010-HaitnerRV #generative #performance #pseudo: Efficiency improvements in constructing pseudorandom generators from one-way functions (IH, OR, SPV), pp. 437–446.
FLOPS-2010-Abel #calculus #evaluation #normalisation #towards: Towards Normalization by Evaluation for the βη-Calculus of Constructions (AA), pp. 224–239.
ICALP-v1-2010-Cheraghchi #adaptation #testing: Improved Constructions for Non-adaptive Threshold Group Testing (MC), pp. 552–564.
ICALP-v2-2010-GenestGMW #automaton: Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata (BG, HG, AM, IW), pp. 52–63.
GT-VMT-2010-SyrianiV #model transformation: De-/Re-constructing Model Transformation Languages (ES, HV).
CHI-2010-MamykinaMMG: Constructing identities through storytelling in diabetes management (LM, ADM, EDM, DG), pp. 1203–1212.
CIKM-2010-BatalH #classification #predict #using: Constructing classification features using minimal predictive patterns (IB, MH), pp. 869–878.
CIKM-2010-DragutYSM #sentiment #taxonomy #word: Construction of a sentimental word dictionary (ECD, CTY, APS, WM), pp. 1761–1764.
CIKM-2010-ZhangMWW #approach #automation #database #formal method #object-oriented #ontology: Formal approach and automated tool for constructing ontology from object-oriented database model (FZ, ZMM, XW, YW), pp. 1329–1332.
ECIR-2010-KarlgrenEST #identification: Between Bags and Trees — Constructional Patterns in Text Used for Attitude Identification (JK, GE, MS, OT), pp. 38–49.
ICML-2010-LiuHC #graph #learning #scalability: Large Graph Construction for Scalable Semi-Supervised Learning (WL, JH, SFC), pp. 679–686.
ICML-2010-Mahmud #learning: Constructing States for Reinforcement Learning (MMHM), pp. 727–734.
ICML-2010-PaisleyZWGC #process: A Stick-Breaking Construction of the Beta Process (JWP, AKZ, CWW, GSG, LC), pp. 847–854.
ICPR-2010-MikulikMPC #precise: Construction of Precise Local Affine Frames (AM, JM, MP, OC), pp. 3565–3569.
KDD-2010-PlangprasopchokLG #folksonomy #metadata: Growing a tree in the forest: constructing folksonomies by integrating structured metadata (AP, KL, LG), pp. 949–958.
KDIR-2010-KKD #graph #keyword #rdf: Answer Graph Construction for Keyword Search on Graph Structured(RDF) Data (PK, SPK, DD), pp. 162–167.
KEOD-2010-HouLON #automation #information management #ontology: Automatic Ontology Construction for Manufacturing Knowledge and Information Management (XH, WJL, SKO, AYCN), pp. 331–334.
SEKE-2010-AndresMN #algorithm #multi #search-based #testing: Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties (CA, MGM, MN), pp. 405–410.
SEKE-2010-MarcaciniR #clustering #incremental #topic #using: Incremental Construction of Topic Hierarchies using Hierarchical Term Clustering (RMM, SOR), p. 553.
SIGIR-2010-KardanGB #automation: A method to automatically construct a user knowledge model in a forum environment (AK, MG, BB), pp. 717–718.
ICMT-2010-FiorentiniMOP #approach #model transformation #testing: A Constructive Approach to Testing Model Transformations (CF, AM, MO, IP), pp. 77–92.
ICMT-2010-KolovosRMPPF #navigation: Constructing and Navigating Non-invasive Model Decorations (DSK, LMR, NDM, RFP, FACP, KJF), pp. 138–152.
GPCE-J-2007-FrisbyKWA10 #algebra #combinator: Constructing language processors with algebra combinators (NF, GK, PW, PA), pp. 543–572.
SAC-2010-GroppeG #database #scalability #semantics #sorting #web: External sorting for index construction of large semantic web databases (SG, JG), pp. 1373–1380.
SPLC-2010-UbayashiNH #embedded #product line #reliability: Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems (NU, SN, MH), pp. 1–15.
LICS-2010-EndrullisHK #combinator #composition #fixpoint: Modular Construction of Fixed Point Combinators and Clocked Bohm Trees (JE, DH, JWK), pp. 111–119.
ASE-2009-WangC #context-sensitive grammar #testing #weaving: Weaving Context Sensitivity into Test Suite Construction (HW, WKC), pp. 610–614.
DAC-2009-LiuYKC #algorithm: An O(n log n) path-based obstacle-avoiding algorithm for rectilinear Steiner tree construction (CHL, SYY, SYK, YHC), pp. 314–319.
DATE-2009-BombieriFPV #generative: Correct-by-construction generation of device drivers based on RTL testbenches (NB, FF, GP, SV), pp. 1500–1505.
SIGMOD-2009-GhotingM #parallel #performance: Serial and parallel methods for i/o efficient suffix tree construction (AG, KM), pp. 827–840.
VLDB-2009-Karras #scalability: Optimality and Scalability in Lattice Histogram Construction (PK), pp. 670–681.
ICPC-2009-ForwardLB #analysis #comprehension: Improving program comprehension by enhancing program constructs: An analysis of the Umple language (AF, TCL, DB), pp. 311–312.
WCRE-1999-AriasAA99a #resource management #scalability: Constructing a Resource Usage View of a Large and Complex Software-Intensive System (TBCA, PA, PA), pp. 247–255.
WCRE-1999-FerzundAW99a #debugging: Bug-Inducing Language Constructs (JF, SNA, FW), pp. 155–159.
STOC-2009-Moser #proving: A constructive proof of the Lovász local lemma (RAM), pp. 343–350.
STOC-2009-RabaniS #linear: Explicit construction of a small epsilon-net for linear threshold functions (YR, AS), pp. 649–658.
LATA-2009-Salimov #complexity #infinity #word: Constructing Infinite Words of Intermediate Arithmetical Complexity (PVS), pp. 696–701.
SEFM-2009-HieronsJUY #adaptation #sequence #using: Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences (RMH, GVJ, HU, HY), pp. 157–166.
CHI-2009-NgaiCCL #framework #smarttech: The TeeBoard: an education-friendly construction platform for e-textiles and wearable computing (GN, SCFC, JCYC, WWYL), pp. 249–258.
CHI-2009-SauroL #correlation #metric #prototype #usability: Correlations among prototypical usability metrics: evidence for the construct of usability (JS, JRL), pp. 1609–1618.
CHI-2009-WuT #named #visualisation: PhotoScope: visualizing spatiotemporal coverage of photos for construction management (FW, MT), pp. 1103–1112.
DHM-2009-FaustC #3d: 3D Body Scanning’s Contribution to the Use of Apparel as an Identity Construction Tool (MEF, SC), pp. 19–28.
DHM-2009-Filla #modelling: A Methodology for Modeling the Influence of Construction Machinery Operators on Productivity and Fuel Consumption (RF), pp. 614–623.
HCD-2009-LinO #analysis #information management: The Method of User’s Requirement Analysis by Participation of the User: Constructing an Information System for Travelers (CYL, MO), pp. 862–868.
HCI-AUII-2009-KawazuMOMM #web: A System to Construct an Interest Model of User Based on Information in Browsed Web Page by User (KK, MM, TO, MM, TM), pp. 304–313.
HCI-NIMT-2009-NumaoNSKL #adaptation #user interface: Constructive Adaptive User Interfaces Based on Brain Waves (MN, TN, TS, SK, RSL), pp. 596–605.
HCI-NT-2009-KimuraUOM #evaluation #metric #towards #usability: Toward Constructing an Electroencephalogram Measurement Method for Usability Evaluation (MK, HU, MO, KiM), pp. 95–104.
HCI-VAD-2009-KobayashiST #named #video: ImproV: A System for Improvisational Construction of Video Processing Flow (AK, BS, JT), pp. 534–542.
HIMI-DIE-2009-KumeS #analysis #using #web: Construction of the Data Save System of the Cusp Surface Analysis Using Web Application (YK, JSS), pp. 665–674.
HIMI-DIE-2009-PerezGM #community #information management #quality: A Proposal of Awareness Services for the Construction of Quality Community Knowledge Supported by the Knowledge Management System KnowCat (RCP, IDCG, JML), pp. 365–374.
HIMI-II-2009-NakamuraS #learning: Construction of Systematic Learning Support System of Business Theory and Method (YN, KS), pp. 669–678.
IDGD-2009-YangYTC #design #industrial #information management #student: Constructing a Model of Internet-Based Career Information System for Industrial Design Students in Universities (MYY, MY, YLT, YPC), pp. 187–196.
CAiSE-2009-KubickiDHG #towards: Towards a Sustainable Services Innovation in the Construction Sector (SK, ED, GH, AG), pp. 319–333.
ICEIS-AIDSS-2009-TamargoGABQ #classification: Decision Support System for Classification of Natural Risk in Maritime Construction (MAGT, ASAG, VCA, ABT, AAQ), pp. 138–143.
ICEIS-DISI-2009-KleinschmagerH #aspect-oriented #programming: Is the Application of Aspect-oriented Programming Constructs Beneficial? — First Experimental Results (SK, SH), pp. 196–201.
ICEIS-J-2009-BoglSPW #automation #process: Automated Construction of Process Goal Trees from EPC-Models to Facilitate Extraction of Process Patterns (AB, MS, GP, NW), pp. 427–442.
CIKM-2009-AlonsoGB #clustering #timeline #using: Clustering and exploring search results using timeline constructions (OA, MG, RABY), pp. 97–106.
CIKM-2009-HalimKY #effectiveness #performance: Fast and effective histogram construction (FH, PK, RHCY), pp. 1167–1176.
CIKM-2009-ParekhHRWW #challenge #experience #resource management: Characterizing, constructing and managing resource usage profiles of system S applications: challenges and experience (SP, KH, DR, JLW, KLW), pp. 1177–1186.
CIKM-2009-YaoHC #collaboration #taxonomy: Constructing evolutionary taxonomy of collaborative tagging systems (JY, YH, BC), pp. 2085–2086.
ICML-2009-JebaraWC #graph #learning: Graph construction and b-matching for semi-supervised learning (TJ, JW, SFC), pp. 441–448.
ICML-2009-KuzelkaZ #relational: Block-wise construction of acyclic relational features with monotone irreducibility and relevancy properties (OK, FZ), pp. 569–576.
KEOD-2009-SellamiGAR #adaptation #multi #ontology: Dynamic Ontology Co-construction based on Adaptive Multi-Agent Technology (ZS, MPG, NAG, SR), pp. 56–63.
KEOD-2009-VealeL #clique #ontology: Ontological Cliques — Analogy as an Organizing Principle in Ontology Construction (TV, GL), pp. 34–41.
KEOD-2009-YiR #algorithm #clustering #ontology #using: Using a Clustering Algorithm for Domain Related Ontology Construction (HY, VJRS), pp. 336–341.
KMIS-2009-JangP #benchmark #metric #performance: Benchmarking based Performance Management for Construction Contractors (YJ, MP), pp. 147–152.
KMIS-2009-YangJH #empirical #testing: Constructing a Computer Simulated Experiment Testing System (BY, SJ, DH), pp. 271–275.
SEKE-2009-Nakajima #diagrams #feature model: Constructing FODA Feature Diagrams with a GUI-based Tool (SN), pp. 20–25.
MoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly: On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
MoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly: On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
ECOOP-2009-GilS #question: Are We Ready for a Safer Construction Environment? (JYG, TS), pp. 495–519.
POPL-2009-Harris #memory management #transaction: Language constructs for transactional memory (TH), p. 1.
RE-2009-WangZZJM #approach #case study #feature model #modelling: A Use Case Based Approach to Feature Models’ Construction (BW, WZ, HZ, ZJ, HM), pp. 121–130.
SAC-2009-EshuisN #outsourcing #process: Constructing process views for service outsourcing (RE, AN), pp. 1615–1616.
SAC-2009-LiCC #correlation #network: Construct anticancer drug-drug correlation network (JL, PC, JYC), pp. 771–775.
SAC-2009-XuMX #game studies: A method to construct knowledge table-base in k-in-a-row games (CX, ZMM, XX), pp. 929–933.
SPLC-2009-WestonCR #composition #feature model #framework #modelling #natural language #requirements #semantics: A framework for constructing semantically composable feature models from natural language requirements (NW, RC, AR), pp. 211–220.
CAV-2009-Sifakis #component #realtime: Component-Based Construction of Real-Time Systems in BIP (JS), pp. 33–34.
WICSA-2008-KeulerMU #analysis #architecture #performance #quality: Efficient Quality Impact Analyses for Iterative Architecture Construction (TK, DM, TU), pp. 19–28.
DAC-2008-HaldarSPDG #c++ #modelling #verification: Construction of concrete verification models from C++ (MH, GS, SP, BD, AG), pp. 942–947.
DocEng-2008-FontanS #repository: Constructing a know-how repository of advices and warnings from procedural texts (LF, PSD), pp. 249–252.
ITiCSE-2008-DemailleLP #compilation #education #set #tool support: A set of tools to teach compiler construction (AD, RL, BP), pp. 68–72.
ESOP-2008-Coquand #functional #programming: Constructive Mathematics and Functional Programming (Abstract) (TC), pp. 146–147.
FoSSaCS-2008-BarrasB #calculus #dependent type #programming language: The Implicit Calculus of Constructions as a Programming Language with Dependent Types (BB, BB), pp. 365–379.
ICSM-2008-KnodelMR #architecture #empirical #feedback: Constructive architecture compliance checking — an experiment on support by live feedback (JK, DM, DR), pp. 287–296.
SCAM-2008-JiaH #fault #higher-order #mutation testing #testing #using: Constructing Subtle Faults Using Higher Order Mutation Testing (YJ, MH), pp. 249–258.
STOC-2008-Ben-AroyaT #combinator #graph #using: A combinatorial construction of almost-ramanujan graphs using the zig-zag product (ABA, ATS), pp. 325–334.
STOC-2008-GentryPV #encryption: Trapdoors for hard lattices and new cryptographic constructions (CG, CP, VV), pp. 197–206.
STOC-2008-GoldwasserGHKR #approach: A (de)constructive approach to program checking (SG, DG, AH, TK, GNR), pp. 143–152.
STOC-2008-Meir #combinator: Combinatorial construction of locally testable codes (OM), pp. 285–294.
FLOPS-2008-KiselyovBFS #declarative: Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) (OK, WEB, DPF, CcS), pp. 64–80.
DLT-J-2007-Freivalds08 #automaton #finite #probability: Non-Constructive Methods for Finite Probabilistic Automata (RF), pp. 565–580.
DLT-2008-KuskeM #automaton #regular expression: Construction of Tree Automata from Regular Expressions (DK, IM), pp. 491–503.
ICALP-A-2008-IwamaNPRY #linear #network #polynomial: Polynomial-Time Construction of Linear Network Coding (KI, HN, MP, RR, SY), pp. 271–282.
ICALP-A-2008-Ruzic #performance #sorting: Constructing Efficient Dictionaries in Close to Sorting Time (MR), pp. 84–95.
ICALP-B-2008-Kesner #composition: Perpetuality for Full and Safe Composition (in a Constructive Setting) (DK), pp. 311–322.
ICGT-2008-Hermann #analysis #process #workflow: Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions (FH), pp. 496–498.
SOFTVIS-2008-ShahGH #comprehension #exception #visualisation: Visualization of exception handling constructs to support program understanding (HS, CG, MJH), pp. 19–28.
ICEIS-ISAS2-2008-BediniNG #automation #taxonomy: B2B Automatic Taxonomy Construction (IB, BN, GG), pp. 325–330.
ICEIS-ISAS2-2008-CabelloR #product line #variability: Variability Management in Software Product Lines for Decision Support Systems Construction (MEC, IR), pp. 49–56.
CIKM-2008-ItoNHN #analysis #wiki: Association thesaurus construction methods based on link co-occurrence analysis for wikipedia (MI, KN, TH, SN), pp. 817–826.
ECIR-2008-AmatiABGG #ad hoc #automation #retrieval: Automatic Construction of an Opinion-Term Vocabulary for Ad Hoc Retrieval (GA, EA, MB, CG, GG), pp. 89–100.
ICPR-2008-ChenCC #performance: A performance controllable octree construction method (ZC, HLC, WCC), pp. 1–4.
KDD-2008-KiernanT #scalability #sequence #summary: Constructing comprehensive summaries of large event sequences (JK, ET), pp. 417–425.
KDD-2008-LingD #learning #query: Active learning with direct query construction (CXL, JD), pp. 480–487.
SEKE-2008-YangCC #architecture #modelling: Modeling Services to Construct Service-oriented Healthcare Architecture for Digital Home-care Business (CLY, YKC, CPC), pp. 351–356.
SIGIR-2008-BalogWR #modelling #query: A few examples go a long way: constructing query models from elaborate query formulations (KB, WW, MdR), pp. 371–378.
ECMDA-FA-2008-PilgrimVSB #visualisation: Constructing and Visualizing Transformation Chains (JvP, BV, ISG, YB), pp. 17–32.
MoDELS-2008-JanotaKW #constraints #interactive #semantics #syntax: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
MoDELS-2008-RosePKP #modelling: Constructing Models with the Human-Usable Textual Notation (LMR, RFP, DSK, FP), pp. 249–263.
MoDELS-2008-JanotaKW #constraints #interactive #semantics #syntax: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
MoDELS-2008-RosePKP #modelling: Constructing Models with the Human-Usable Textual Notation (LMR, RFP, DSK, FP), pp. 249–263.
OOPSLA-2008-NiWABBCGKNOPSTT #c #c++ #design #implementation #transaction: Design and implementation of transactional constructs for C/C++ (YN, AW, ARAT, MB, SB, JC, RG, SK, RN, JO, SP, BS, AT, XT), pp. 195–212.
SAC-2008-Blomqvist #automation #ontology #ranking: Pattern ranking for semi-automatic ontology construction (EB), pp. 2248–2255.
SAC-2008-CorreaL #documentation #hybrid #semantics: Semantic mapping and K-means applied to hybrid SOM-based document organization system construction (RFC, TBL), pp. 1112–1116.
SAC-2008-DingMH #approach #refinement #specification #using: An approach for specification construction using property-preserving refinement patterns (JD, LM, XH), pp. 797–803.
SAC-2008-HieronsJUY #adaptation #sequence #using: Using adaptive distinguishing sequences in checking sequence constructions (RMH, GVJ, HU, HY), pp. 682–687.
ICSE-2008-BlancMMM #consistency #detection #nondeterminism: Detecting model inconsistency through operation-based model construction (XB, IM, AM, TM), pp. 511–520.
CGO-2008-SalverdakZ #predict #random: Accurate critical path prediction via random trace construction (PS, CT, CBZ), pp. 64–73.
CSL-2008-HermantL #approach #axiom #semantics: A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms (OH, JL), pp. 169–183.
TestCom-FATES-2008-Kuliamin: Test Construction for Mathematical Functions (VVK), pp. 23–37.
WICSA-2007-BoerV: Constructing a Reading Guide for Software Product Audits (RCdB, HvV), p. 11.
CASE-2007-MishraV #framework #risk management: A CBR-based Decision Support System Framework for Construction Supply Chain Risk Management (VKM, NV), pp. 980–985.
CASE-2007-ShibataZHSF #scheduling #self: Generalization of Scheduling Information Acquired Through User Manipulation for Self-construction Production Scheduling System (TS, XZ, XH, YS, SF), pp. 33–38.
DAC-2007-BhattacharyaRS #process: Language Extensions to SystemC: Process Control Constructs (BB, JR, SS), pp. 35–38.
ICDAR-2007-FreireFMO #fuzzy #on the: On the Applicability of Off-Line Signatures to the Fuzzy Vault Construction (MRF, JFA, MMD, JOG), pp. 1173–1177.
ITiCSE-2007-MullerGH #composition #problem: Pattern-oriented instruction and its influence on problem decomposition and solution construction (OM, DG, BH), pp. 151–155.
ITiCSE-2007-TremblayMSZ #corpus #maintenance #student: Introducing students to professional software construction: a “software construction and maintenance” course and its maintenance corpus (GT, BM, AS, PZ), pp. 176–180.
ESOP-2007-BlanquiHW #data type #implementation #on the: On the Implementation of Construction Functions for Non-free Concrete Data Types (FB, TH, PW), pp. 95–109.
FASE-2007-GronmoJW #composition #development: A Service Composition Construct to Support Iterative Development (RG, MCJ, AW), pp. 230–244.
CSMR-2007-Quante #graph #online #process: Online Construction of Dynamic Object Process Graphs (JQ), pp. 113–122.
ICPC-2007-JiangKRS #api #documentation: Constructing Usage Scenarios for API Redocumentation (JJ, JK, AR, TS), pp. 259–264.
PEPM-2007-ZhuK #component #reuse #towards: Towards constructing reusable specialization components (PZ, SCK), pp. 154–163.
STOC-2007-BravermanY #set: Constructing non-computable Julia sets (MB, MY), pp. 709–716.
STOC-2007-DunaganH: Iteratively constructing preconditioners via the conjugate gradient method (JD, NJAH), pp. 207–216.
STOC-2007-HariharanKPB #algorithm #graph: An Õ(mn) Gomory-Hu tree construction algorithm for unweighted graphs (RH, TK, DP, AB), pp. 605–614.
CIAA-2007-KleinB #automaton #on the fly: On-the-Fly Stuttering in the Construction of Deterministic ω-Automata (JK, CB), pp. 51–61.
DLT-2007-Freivalds #automaton #finite #probability: Non-constructive Methods for Finite Probabilistic Automata (RF), pp. 169–180.
ICALP-2007-Elkin #algorithm #maintenance #streaming: Streaming and Fully Dynamic Centralized Algorithms for Constructing and Maintaining Sparse Spanners (ME), pp. 716–727.
ICALP-2007-FioreH #equation: Equational Systems and Free Constructions (Extended Abstract) (MPF, CKH), pp. 607–618.
ICALP-2007-LuTW #complexity #on the #set: On the Complexity of Hard-Core Set Constructions (CJL, SCT, HLW), pp. 183–194.
ICFP-2007-NystromTK #distributed: Evaluating high-level distributed language constructs (JHN, PWT, DJK), pp. 203–212.
ICFP-2007-Sereni #analysis #functional #graph #higher-order #source code #termination: Termination analysis and call graph construction for higher-order functional programs (DS), pp. 71–84.
CHI-2007-DiSalvoMM #case study #named #research: Mapmover: a case study of design-oriented research into collective expression and constructed publics (CFD, JM, NM), pp. 1249–1252.
CHI-2007-VasalouJP #online #self: Constructing my online self: avatars that increase self-focused attention (AV, ANJ, JP), pp. 445–448.
HCI-IPT-2007-CowellHBFBJDJF #analysis #framework #validation: Construction and Validation of a Neurophysio-technological Framework for Imagery Analysis (AJC, KSH, CB, SF, AB, DJ, GD, RJ, RF), pp. 1096–1105.
HIMI-IIE-2007-WakitaAT #metric #mobile #prototype #using: Methodology for Constructing a Prototype Site for Finding Employment SPI Measures Using Mobile Phones (SW, MA, TT), pp. 983–993.
HIMI-MTT-2007-JungK #information management: A Methodology for Construction Information System for Small Size Organization with Excel/VBA (HSJ, THK), pp. 642–649.
HIMI-MTT-2007-KumeM #analysis #web: Construction of Web Application for Cusp Surface Analysis (YK, ZAHM), pp. 669–676.
HIMI-MTT-2007-SatoAT: A Method for Constructing a Movie-Selection Support System Based on Kansei Engineering (NS, MA, TT), pp. 526–534.
AdaEurope-2007-BordinV #approach #correctness #metamodelling #realtime: Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach (MB, TV), pp. 114–127.
SIGAda-2007-Chapman #named #security: MF1: security by construction (RC), pp. 5–6.
SIGAda-2007-Chapman07a #correctness: Correctness by construction: putting engineering (back) into software (RC), p. 100.
ICEIS-AIDSS-2007-BermejoGP #email #using: Attribute Construction for E-Mail Foldering by Using Wrappered Forward Greedy Search (PB, JAG, JMP), pp. 247–252.
ICEIS-DISI-2007-ArshinoffRSAO #query: Simplified query construction — queries made as easy as possible (BA, DR, MS, RA, TÖ), pp. 125–130.
ICEIS-EIS-2007-RychkovaW #automation #refinement #specification #towards #visual notation: Refinement Propagation — Towards Automated Construction of Visual Specifications (IR, AW), pp. 196–204.
ICEIS-EIS-2007-SandkuhlOSSK #case study #experience #industrial #ontology #recommendation: Ontology Construction in Practice — Experiences and Recommendations from Industrial Cases (KS, AÖ, AVS, NS, AK), pp. 250–256.
CIKM-2007-AltingovdeOCYU #approach #automation #web: An automatic approach to construct domain-specific web portals (ISA, RO, SC, HY, ÖU), pp. 849–852.
ECIR-2007-ZhangZC #performance #scalability #using: Efficient Construction of FM-index Using Overlapping Block Processing for Large Scale Texts (DZ, YZ, JC), pp. 113–123.
ICML-2007-DavisCRP #approach #predict #process: An integrated approach to feature invention and model construction for drug activity prediction (JD, VSC, SR, DP), pp. 217–224.
ICML-2007-JohnsM #approximate #graph: Constructing basis functions from directed graphs for value function approximation (JJ, SM), pp. 385–392.
KDD-2007-FungYLY: Time-dependent event hierarchy construction (GPCF, JXY, HL, PSY), pp. 300–309.
SEKE-2007-MaZPYL #adaptation #architecture #polymorphism #self: Constructing Self-Adaptive Systems with Polymorphic Software Architecture (XM, YZ, JP, PY, JL), pp. 2–8.
SEKE-2007-SunZZJM #adaptation #component #distributed #self #towards: Towards Constructing High-available Decentralized Systems via Self-adaptive Components (XS, LZ, LZ, WJ, HM), pp. 296–301.
MoDELS-2007-ChakiILWZ #modelling: Model-Driven Construction of Certified Binaries (SC, JI, PL, KCW, NZ), pp. 666–681.
MoDELS-2007-JacksonS #reasoning: Constructive Techniques for Meta- and Model-Level Reasoning (EKJ, JS), pp. 405–419.
MoDELS-2007-ChakiILWZ #modelling: Model-Driven Construction of Certified Binaries (SC, JI, PL, KCW, NZ), pp. 666–681.
MoDELS-2007-JacksonS #reasoning: Constructive Techniques for Meta- and Model-Level Reasoning (EKJ, JS), pp. 405–419.
GPCE-2007-WeaverKFA #algebra #combinator: Constructing language processors with algebra combinators (PW, GK, NF, PA), pp. 155–164.
LOPSTR-2007-FerrariFMO #generative #modelling #object-oriented: Snapshot Generation in a Constructive Object-Oriented Modeling Language (MF, CF, AM, MO), pp. 169–184.
POPL-2007-Malacaria #security: Assessing security threats of looping constructs (PM), pp. 225–235.
SAC-2007-ChanW #metric #modelling: Outlier elimination in construction of software metric models (VKYC, WEW), pp. 1484–1488.
SAC-2007-KinebuchiKN #kernel: Constructing machine emulator on portable microkernel (YK, HK, TN), pp. 1197–1198.
SAC-2007-Lu #implementation #type system: Implementing type-based constructive negation (LL), pp. 1299–1306.
SAC-2007-YangHK #framework #on the #parallel: On construction of a BioGrid platform for parallel bioinformatics applications (CTY, TFH, HCK), pp. 144–145.
ESEC-FSE-2007-Baerisch #modelling #testing: Model-driven test-case construction (SB), pp. 587–590.
LDTA-J-2003-Wyk #aspect-oriented #composition #implementation #programming: Implementing aspect-oriented programming constructs as modular language extensions (EVW), pp. 38–61.
CGO-2007-WangCWSA #code generation #memory management #optimisation #transaction: Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language (CW, WYC, YW, BS, ARAT), pp. 34–48.
CAV-2007-GaravelMLS #analysis #distributed #process: CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes (HG, RM, FL, WS), pp. 158–163.
CAV-2007-MatsliahS #approximate #encryption #model checking #random: Underapproximation for Model-Checking Based on Random Cryptographic Constructions (AM, OS), pp. 339–351.
CAV-2007-Segelken #abstraction #automaton #hybrid #linear #model checking #modelling: Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models (MS), pp. 433–448.
CSL-2007-BlanquiJS #calculus #induction: Building Decision Procedures in the Calculus of Inductive Constructions (FB, JPJ, PYS), pp. 328–342.
CSL-2007-Miquel #calculus: Classical Program Extraction in the Calculus of Constructions (AM), pp. 313–327.
TAP-2007-Haiyan #algorithm #distributed #proving #testing #type system: Testing and Proving Distributed Algorithms in Constructive Type Theory (QH), pp. 79–94.
VMCAI-2007-Lev-AmiSIR #analysis: Constructing Specialized Shape Analyses for Uniform Change (TLA, MS, NI, TWR), pp. 215–233.
CASE-2006-ZhangHSF #scheduling #self: Self-construction Production Scheduling System (XZ, XH, YS, SF), pp. 519–523.
DAC-2006-HuLHL #network: Steiner network construction for timing critical nets (SH, QL, JH, PL), pp. 379–384.
DAC-2006-WaghmodeLS #scalability: Buffer insertion in large circuits with constructive solution search techniques (MW, ZL, WS), pp. 296–301.
DATE-2006-DErricoQ #approach: Constructing portable compiled instruction-set simulators: an ADL-driven approach (JD, WQ), pp. 112–117.
ITiCSE-2006-Lauer #algorithm #interactive #visualisation: Learner interaction with algorithm visualizations: viewing vs. changing vs. constructing (TL), pp. 202–206.
FoSSaCS-2006-Schroder #algebra #finite #logic: A Finite Model Construction for Coalgebraic Modal Logic (LS), pp. 157–171.
MSR-2006-ChangM #version control: Constructing universal version history (HFC, AM), pp. 76–79.
SCAM-2006-SawinR #algorithm #graph #runtime: Estimating the Run-Time Progress of a Call Graph Construction Algorithm (JS, AR), pp. 53–62.
SCAM-2006-ZhangR #graph #java #library: Constructing Accurate Application Call Graphs For Java To Model Library Callbacks (WZ, BGR), pp. 63–74.
PLDI-2006-SpoonhowerABCG #named #programming #realtime: Eventrons: a safe programming construct for high-frequency hard real-time applications (DS, JSA, DFB, PC, DG), pp. 283–294.
STOC-2006-BarakRSW #graph: 2-source dispersers for sub-polynomial entropy and Ramsey graphs beating the Frankl-Wilson construction (BB, AR, RS, AW), pp. 671–680.
STOC-2006-IshaiKLP #black box: Black-box constructions for secure computation (YI, EK, YL, EP), pp. 99–108.
ICALP-v1-2006-AulettaPPPV #verification: New Constructions of Mechanisms with Verification (VA, RDP, PP, GP, CV), pp. 596–607.
ICALP-v2-2006-ArmknechtK #algebra #multi: Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity (FA, MK), pp. 180–191.
ICALP-v2-2006-GenestM #automaton: Constructing Exponential-Size Deterministic Zielonka Automata (BG, AM), pp. 565–576.
ICALP-v2-2006-PhanST #hybrid: Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability (DHP, RSN, DT), pp. 264–275.
ICEIS-AIDSS-2006-RamezaniM #case study #design #fuzzy #implementation: Design and Implementation of a Fuzzy Expert Decision Support System for Vendor Selection — Case Study in OIEC Iran (Oil Industerial Engineering and Construction) (MR, GAM), pp. 243–248.
ICEIS-ISAS-2006-BarresiRML #integration #semantics: Methodology to Support Semantic Resources Integration in the Construction Sector (SB, YR, FM, CL), pp. 94–101.
ICEIS-ISAS-2006-BlomqvistOS #enterprise #ontology: Ontology Construction in an Enterprise Context: Comparing and Evaluating Two Approaches (EB, AÖ, KS), pp. 86–93.
ICEIS-J-2006-BarresiRLM #integration #semantics: Semantic Resources Integration and Interoperability in the Construction Domain (SB, YR, CL, FM), pp. 336–347.
ICEIS-J-2006-BlomqvistOS06a #enterprise #ontology: Comparing and Evaluating Ontology Construction in an Enterprise Context (EB, AÖ, KS), pp. 221–240.
CIKM-2006-BarbosaF #automation #database #online: Automatically constructing collections of online database directories (LB, JF), pp. 796–797.
CIKM-2006-CaoNB #documentation #markov #modelling #query: Constructing better document and query models with markov chains (GC, JYN, JB), pp. 800–801.
ICML-2006-KellerMP #approximate #automation #learning #programming: Automatic basis function construction for approximate dynamic programming and reinforcement learning (PWK, SM, DP), pp. 449–456.
ICML-2006-RainaNK #learning #using: Constructing informative priors using transfer learning (RR, AYN, DK), pp. 713–720.
ICPR-v1-2006-ChenC #multi #performance #quality: New Efficient Octree Construction from Multiple Object Silhouettes with Construction Quality Control (ZC, HLC), pp. 127–130.
ICPR-v1-2006-PongC #3d #detection #modelling #using: Optimal Cascade Construction for Detection using 3D Models (HKP, TJC), pp. 808–811.
ICPR-v1-2006-ShimanukiKW #analysis #sketching: Analysis of Overlapping Faces for Constructing Paper-made Objects from Sketches (HS, JK, TW), pp. 247–250.
ICPR-v1-2006-YangW #adaptation: Adaptive Contour Construction for Face Regions (JY, RW), pp. 363–366.
ICPR-v1-2006-YousfiACC #database #image #learning: Supervised Learning for Guiding Hierarchy Construction: Application to Osteo-Articular Medical Images Database (KY, CA, JPC, JC), pp. 484–487.
ICPR-v2-2006-GibbensC #taxonomy #visual notation: Constructing Visual Taxonomies by Shape (MJG, ACC), pp. 732–735.
ICPR-v2-2006-YuanQYZ #approach #classification #kernel: An Approach for Constructing Sparse Kernel Classifier (ZY, YQ, YY, NZ), pp. 560–563.
ICPR-v3-2006-ZhaoY #graph #incremental #reduction: Incremental Construction of Neighborhood Graphs for Nonlinear Dimensionality Reduction (DZ, LY), pp. 177–180.
SEKE-2006-FarenhorstBDLV #architecture #domain model #question #what: What’s in Constructing a Domain Model for Sharing Architectural Knowledge? (RF, RCdB, RD, PL, HvV), pp. 108–113.
SEKE-2006-YinW #programming: Organizational Programming: Hierarchy Software Construction (ZY, JW), pp. 182–187.
SIGIR-2006-AzzopardiR #automation: Automatic construction of known-item finding test beds (LA, MdR), pp. 603–604.
SIGIR-2006-DayanikLMMG #classification: Constructing informative prior distributions from domain knowledge in text classification (AAD, DDL, DM, VM, AG), pp. 493–500.
LOPSTR-2006-SakamaI #logic programming #source code: Constructing Consensus Logic Programs (CS, KI), pp. 26–42.
PPDP-2006-Hanus #type system #user interface #web: Type-oriented construction of web user interfaces (MH), pp. 27–38.
RE-2006-Gonzalez-BaixauliLL #elicitation #interactive #non-functional #requirements #using: Eliciting Non-Functional Requirements Interactions Using the Personal Construct Theory (BGB, JCSdPL, MAL), pp. 340–341.
SAC-2006-BaloghV #framework #model transformation: Advanced model transformation language constructs in the VIATRA2 framework (AB, DV), pp. 1280–1287.
SAC-2006-CutelloNO #algorithm #analysis #heuristic: Analysis of an evolutionary algorithm with HyperMacromutation and stop at first constructive mutation heuristic for solving trap functions (VC, GN, PSO), pp. 945–949.
SAC-2006-WinterS #design #modelling #perspective: Reference modeling and method construction: a design science perspective (RW, JS), pp. 1561–1562.
ICSE-2006-Bishop #challenge #multi #re-engineering #user interface: Multi-platform user interface construction: a challenge for software engineering-in-the-small (JB), pp. 751–760.
LDTA-2006-RebernakMHP #aspect-oriented #attribute grammar #compilation #named: AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars (DR, MM, PRH, MJVP), pp. 37–53.
CGO-2006-WentzlaffA #architecture: Constructing Virtual Architectures on a Tiled Processor (DW, AA), pp. 173–184.
HPCA-2006-JosephVT #analysis #linear #modelling #performance: Construction and use of linear regression models for processor performance analysis (PJJ, KV, MJT), pp. 99–108.
IJCAR-2006-ConstableM #proving #semantics #source code: Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics (RLC, WM), pp. 162–176.
IJCAR-2006-SorgeMMC #automation #invariant #verification: Automatic Construction and Verification of Isotopy Invariants (VS, AM, RLM, SC), pp. 36–51.
IJCAR-2006-Walukiewicz-ChrzaszczC #calculus #consistency: Consistency and Completeness of Rewriting in the Calculus of Constructions (DWC, JC), pp. 619–631.
VMCAI-2006-GurfinkelWC #abstraction #model checking: Systematic Construction of Abstractions for Model-Checking (AG, OW, MC), pp. 381–397.
WICSA-2005-Booch #architecture: Quantitative Observation and Theoretical Construction in Software Architecture (GB), p. 3.
ASE-2005-BryceC #algorithm #interactive #testing: Constructing interaction test suites with greedy algorithms (RCB, CJC), pp. 440–443.
ASE-2005-LinG #approach #automation #evolution #model transformation: A model transformation approach to automatic model construction and evolution (YL, JG), pp. 448–451.
ASE-2005-WardKA #framework #named #proving #theorem proving: Prufrock: a framework for constructing polytypic theorem provers (JW, GK, PA), pp. 423–426.
CASE-2005-SongHQG #automation #documentation #using: Automating inspection and documentation of remote building construction using a robotic camera (DS, QH, NQ, KG), pp. 172–177.
DATE-2005-BaleaniFMSFSW #design #development #embedded #modelling: Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development (MB, AF, LM, ALSV, UF, ES, HJW), pp. 1044–1049.
ICDAR-2005-HeD #evaluation #online: Evaluation of a User-Assisted Archive Construction System for Online Natural History Archives (JH, ACD), pp. 442–446.
ICDAR-2005-KangD #classification #multi: Selection of Classifiers for the Construction of Multiple Classifier Systems (HJK, DSD), pp. 1194–1198.
ICDAR-2005-LuT #diagrams #documentation #image: Constructing Area Voronoi Diagram in Document Images (YL, CLT), pp. 342–346.
VLDB-2005-Guha #algorithm #performance: Space Efficiency in Synopsis Construction Algorithms (SG), pp. 409–420.
ITiCSE-2005-Demaille #compilation: Making compiler construction projects relevant to core curriculums (AD), pp. 266–270.
ITiCSE-2005-Guimaraes #database #dot-net #framework #using: Constructing database applications for PDA using the .NET framework (MG), p. 417.
TACAS-2005-KupfermanV #automaton #infinity #nondeterminism #word: Complementation Constructions for Nondeterministic Automata on Infinite Words (OK, MYV), pp. 206–221.
ICSM-2005-PanasS #evaluation #framework #reverse engineering: Evaluation of a Framework for Reverse Engineering Tool Construction (TP, MS), pp. 145–154.
ICSM-2005-Sommerville #challenge #re-engineering #research: Software Construction by Configuration: Challenges for Software Engineering Research (IS), p. 9.
STOC-2005-BarakKSSW #graph #independence #simulation: Simulating independence: new constructions of condensers, ramsey graphs, dispersers, and extractors (BB, GK, RS, BS, AW), pp. 1–10.
STOC-2005-PassR #encryption #protocol: New and improved constructions of non-malleable cryptographic protocols (RP, AR), pp. 533–542.
CIAA-2005-CampeanuPS #algorithm #automaton #finite #incremental: An Incremental Algorithm for Constructing Minimal Deterministic Finite Cover Automata (CC, AP, JRS), pp. 90–103.
CIAA-2005-DaciukMS #automaton #incremental #pseudo: Incremental and Semi-incremental Construction of Pseudo-Minimal Automata (JD, DM, AS), pp. 341–342.
ICALP-2005-LipmaaWB #security #verification: Designated Verifier Signature Schemes: Attacks, New Security Notions and a New Construction (HL, GW, FB), pp. 459–471.
ICALP-2005-RodittyTZ #approximate #distance: Deterministic Constructions of Approximate Distance Oracles and Spanners (LR, MT, UZ), pp. 261–272.
ICALP-2005-Zimand #encryption #generative #pseudo: Simple Extractors via Constructions of Cryptographic Pseudo-random Generators (MZ), pp. 115–127.
SEFM-2005-Sifakis #component #framework: A Framework for Component-based Construction Extended Abstract (JS), pp. 293–300.
ICFP-2005-HallgrenJLT #approach #haskell #operating system: A principled approach to operating system construction in Haskell (TH, MPJ, RL, APT), pp. 116–128.
CAiSE-2005-Evermann #analysis #concept #modelling #ontology #using: The Association Construct in Conceptual Modelling — An Analysis Using the Bunge Ontological Model (JE), pp. 33–47.
ICEIS-v2-2005-Fu #using: Construction of Decision Trees Using Data Cube (LF), pp. 119–126.
ICEIS-v3-2005-SimoniBB #development #information management #process #social: Bringing Social Constructs to the Information System Development Process: Contributions of Organizational Semiotics (CACS, MCCB, RB), pp. 112–119.
CIKM-2005-ChenFTK #automation #statistics: Statistical relationship determination in automatic thesaurus construction (LC, PF, UT, TK), pp. 267–268.
CIKM-2005-DakkaIW #automation #interface #multi: Automatic construction of multifaceted browsing interfaces (WD, PGI, KRW), pp. 768–775.
CIKM-2005-KoloniariPPT #query #using: Query workload-aware overlay construction using histograms (GK, YP, EP, TT), pp. 640–647.
CIKM-2005-LesterMZ #clustering #geometry #online #performance: Fast on-line index construction by geometric partitioning (NL, AM, JZ), pp. 776–783.
SEKE-2005-ChenSH #collaboration: Creating Virtual Collaborative Team Through the Construction of Expertise Spaces (WHC, JYS, MJH), pp. 94–98.
SEKE-2005-HuaC #specification: Yet Another Purchasing Specification Construction in E-Business (CHH, PMC), pp. 105–108.
SEKE-2005-HuangC #approximate #case study #distance: A Study of the Approximate Shortest Distance Route for the Construction Walk of Welding Robot (CJH, BKC), pp. 550–555.
SEKE-2005-LiuL #design pattern: Constructing Software System Based On Software Pattern and Architecture (FHL, SFL), pp. 181–186.
MoDELS-2005-SmialekBNS #metamodelling #uml: Scenario Construction Tool Based on Extended UML Metamodel (MS, JB, WN, TS), pp. 414–429.
MoDELS-2005-SmialekBNS #metamodelling #uml: Scenario Construction Tool Based on Extended UML Metamodel (MS, JB, WN, TS), pp. 414–429.
GPCE-2005-UbayashiTSMM #aspect-oriented #compilation: Model Compiler Construction Based on Aspect-Oriented Mechanisms (NU, TT, SS, YM, SM), pp. 109–124.
PADL-2005-Ramsey #compilation #declarative: Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction (NR), pp. 1–4.
RE-2005-ChenZZM #approach #clustering #feature model #modelling #requirements: An Approach to Constructing Feature Models Based on Requirements Clustering (KC, WZ, HZ, HM), pp. 31–40.
RE-2005-KonradC #specification: Facilitating the Construction of Specification Pattern-based Properties (SK, BHCC), pp. 329–338.
SAC-2005-BraunWHW #approach: Method construction — a core approach to organizational engineering (CB, FW, MH, RW), pp. 1295–1299.
SAC-2005-WuRBGM #2d #compilation: A two-dimensional separation of concerns for compiler construction (XW, SR, BRB, JGG, MM), pp. 1365–1369.
ICSE-2005-BryceCC #framework #interactive #testing: A framework of greedy methods for constructing interaction test suites (RCB, CJC, MBC), pp. 146–155.
LCTES-2005-BriskMNS #taxonomy: A dictionary construction technique for code compression systems with echo instructions (PB, JM, AN, MS), pp. 105–114.
SAT-J-2004-HuangD05 #performance #using: Using DPLL for Efficient OBDD Construction (JH, AD), pp. 157–172.
CAV-2005-VecchieS #source code: Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs (EV, RdS), pp. 213–225.
CSL-2005-BarrasG #calculus #induction #on the: On the Role of Type Decorations in the Calculus of Inductive Constructions (BB, BG), pp. 151–166.
CSL-2005-Blanqui #algebra #calculus #decidability: Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations (FB), pp. 135–150.
CSL-2005-CourcelleD #composition #graph #higher-order #logic #monad: The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic (BC, CD), pp. 325–338.
LICS-2005-LamarcheS #category theory: Constructing Free Boolean Categories (FL, LS), pp. 209–218.
CBSE-2004-CervantesH #adaptation #case study #component #concept #experience #framework: A Framework for Constructing Adaptive Component-Based Applications: Concepts and Experiences (HC, RSH), pp. 130–137.
DAC-2004-BhattacharyaJHS #design #scalability: Correct-by-construction layout-centric retargeting of large analog designs (SB, NJ, RH, CJRS), pp. 139–144.
DATE-v1-2004-FernandesSOT #probability #testing: A Probabilistic Method for the Computation of Testability of RTL Constructs (JMF, MBS, ALO, JPT), pp. 176–181.
HT-2004-Burrow #maintenance #taxonomy #wiki: Negotiating access within Wiki: a system to construct and maintain a taxonomy of access rules (ALB), pp. 77–86.
VLDB-2004-GuhaSW #algorithm #fault #named: REHIST: Relative Error Histogram Construction Algorithms (SG, KS, JW), pp. 300–311.
VLDB-2004-TataHP: Practical Suffix Tree Construction (ST, RAH, JMP), pp. 36–47.
ESOP-2004-CacheraJPR #data flow #logic: Extracting a Data Flow Analyser in Constructive Logic (DC, TPJ, DP, VR), pp. 385–400.
FLOPS-2004-Munoz-HernandezMM: Constructive Intensional Negation (SMH, JM, JJMN), pp. 39–54.
FLOPS-2004-Ogawa #algebra #axiom #graph: Complete Axiomatization of an Algebraic Construction of Graphs (MO), pp. 163–179.
ICALP-2004-NikoletseasRS #graph #independence #performance #random #scalability #set: The Existence and Efficient Construction of Large Independent Sets in General Random Intersection Graphs (SEN, CR, PGS), pp. 1029–1040.
IFL-2004-SchreurP: Dynamic Construction of Generic Functions (RWS, MJP), pp. 160–176.
CHI-2004-RafflePI #assembly #memory management #named: Topobo: a constructive assembly system with kinetic memory (HR, AJP, HI), pp. 647–654.
EDOC-2004-YoshiokaHF #coordination #performance #security: Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems (NY, SH, AF), pp. 84–97.
ICEIS-v2-2004-PerezMAG #algorithm: Consolidated Tree Construction Algorithm: Structurally Steady Trees (JMP, JM, OA, IG), pp. 14–21.
ICEIS-v4-2004-ToivonenPHM #distributed #interactive #process #protocol #using: Using Interaction Protocols in Distributed Construction Processes (ST, TP, HH, JUM), pp. 344–349.
ICPR-v1-2004-DmitryD #algorithm #classification #effectiveness: Data Dependent Classifier Fusion for Construction of Stable Effective Algorithms (DV, DK), pp. 144–147.
ICPR-v3-2004-MaoSCA #3d: Constructing Dense Correspondences to Analyze 3D Facial Change (ZM, JPS, WPC, AFA), pp. 144–148.
ICPR-v3-2004-ShiNGY #classification #learning: Critical Vector Learning to Construct RBF Classifiers (DS, GSN, JG, DSY), pp. 359–362.
KR-2004-BaralE #algorithm #policy #polynomial: A Polynomial-Time Algorithm for Constructing k-Maintainable Policies (CB, TE), pp. 720–730.
SEKE-2004-YaoZY #framework: Level Construction of Decision Trees in a Partition-based Framework for Classi cation (YY, YZ, JY), pp. 199–204.
SIGIR-2004-ConradS #corpus #detection: Constructing a text corpus for inexact duplicate detection (JGC, CPS), pp. 582–583.
UML-2004-GoniE #concurrent #ocl #precise #uml #using: Building Precise UML Constructs to Model Concurrency Using OCL (AG, YE), pp. 212–225.
LOPSTR-2004-LauMO #composition #specification: Constructive Specifications for Compositional Units (KKL, AM, MO), pp. 198–214.
SAC-2004-AlvezLO #bottom-up: Constructive negation by bottom-up computation of literal answers (JÁ, PL, FO), pp. 1468–1475.
SAC-2004-PreinfalkM #automation #framework #problem #scheduling: Automatic construction of drama school timetables based on a generic evolutionary framework for allocation and scheduling problems (OP, HAM), pp. 996–1000.
ICSE-2004-Lamsweerde #anti #requirements #security: Elaborating Security Requirements by Construction of Intentional Anti-Models (AvL), pp. 148–157.
CSL-2004-AvelloneFFM #calculus #implementation #logic #performance: A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation (AA, CF, GF, UM), pp. 488–502.
ICLP-2004-ErdemW #programming #set #using: Rectilinear Steiner Tree Construction Using Answer Set Programming (EE, MDFW), pp. 386–399.
ICLP-2004-Munoz-HernandezM #implementation: Implementation Results in Classical Constructive Negation (SMH, JJMN), pp. 284–298.
ICLP-2004-Tarau #logic programming: Agent Oriented Logic Programming Constructs in Jinni 2004 (PT), pp. 477–478.
SAT-2004-HuangD #performance #using: Using DPLL for Efficient OBDD Construction (JH, AD), pp. 127–136.
VMCAI-2004-LahiriB #abstraction #invariant #quantifier: Constructing Quantified Invariants via Predicate Abstraction (SKL, REB), pp. 267–281.
VMCAI-2004-TanASW #assembly #semantics: Construction of a Semantic Model for a Typed Assembly Language (GT, AWA, KNS, DW), pp. 30–43.
ASE-2003-Moore #communication #requirements #user interface #using: Communicating Requirements Using End-User GUI Constructions with Argumentation (JMM), pp. 360–363.
DAC-2003-MishchenkoWK #algorithm #composition: A new enhanced constructive decomposition and mapping algorithm (AM, XW, TK), pp. 143–148.
DAC-2003-PenryA #component #optimisation #reuse: Optimizations for a simulator construction system supporting reusable components (DAP, DIA), pp. 926–931.
HT-2003-Bernstein: Collage, composites, construction (MB), pp. 122–123.
ICDAR-2003-GuestCFP #analysis #automation #classification #geometry #sequence #using: Automatic Classification of Hand Drawn Geometric Shapes using Constructional Sequence Analysis (RMG, SC, MCF, JMP), pp. 990–994.
ICDAR-2003-HeD #analysis #documentation #image #library: User-Assisted Archive Document Image Analysis for Digital Library Construction (JH, ACD), pp. 498–502.
ICDAR-2003-KangD03a #classification #evaluation #multi: Evaluation of the Information-Theoretic Construction of Multiple Classifier Systems (HJK, DSD), pp. 789–793.
ICDAR-2003-SeropianGV #identification: Writer Identification based on the fractal construction of a reference base (AS, MG, NV), pp. 1163–1167.
VLDB-2003-CeriM #tool support #web: Constructing and integrating data-centric Web Applications: Methods, Tools, and Techniques (SC, IM), p. 1151.
ITiCSE-2003-Gegg-HarrisonBGOW #contract #correctness: Studying program correctness by constructing contracts (TSGH, GRB, RDG, CMO, JDW), pp. 129–133.
ITiCSE-2003-SchwarmV #assessment #concept #elicitation #information management #student #using: Making connections: using classroom assessment to elicit students’ prior knowledge and construction of concepts (SES, TV), pp. 65–69.
TACAS-2003-BartzisB #bound #constraints #performance: Construction of Efficient BDDs for Bounded Arithmetic Constraints (CB, TB), pp. 394–408.
TACAS-2003-BerthomieuV #analysis #branch #petri net: State Class Constructions for Branching Analysis of Time Petri Nets (BB, FV), pp. 442–457.
TACAS-2003-Schmidt #invariant #petri net #using: Using Petri Net Invariants in State Space Construction (KS0), pp. 473–488.
STOC-2003-Regev #encryption: New lattice based cryptographic constructions (OR), pp. 407–416.
CIAA-2003-Fritz #automaton #linear #logic #simulation #using: Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata (CF), pp. 35–48.
ICALP-2003-KarkkainenS #array #linear: Simple Linear Work Suffix Array Construction (JK, PS), pp. 943–955.
FME-2003-Abrial #development #pointer: Event Based Sequential Program Development: Application to Constructing a Pointer Program (JRA), pp. 51–74.
FME-2003-FenkamGJ #approach #concurrent: Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach (PF, HCG, MJ), pp. 636–657.
ICEIS-v2-2003-KropotovV #approach #fuzzy: One Approach to Fuzzy Expert Systems Construction (DK, DV), pp. 566–570.
ICEIS-v4-2003-LiuWS #design: Knowledge Construction in E-Learning — Designing an E-Learning Environment (KL, SW, LS), pp. 111–118.
CIKM-2003-ShanksW #categorisation #linear: Index construction for linear categorisation (VRS, HEW), pp. 334–341.
ECIR-2003-AhmadTVH #image #retrieval: Corpus-Based Thesaurus Construction for Image Retrieval in Specialist Domains (KA, MT, BV, CH), pp. 502–510.
ECIR-2003-KazaiLR #documentation #retrieval: Construction of a Test Collection for the Focussed Retrieval of Structured Documents (GK, ML, JR), pp. 88–103.
ECIR-2003-ShinKKK #automation #database #music #performance: Automatic Construction of Theme Melody Index from Music Database for Fast Content-Based Retrievals (CHS, KIK, KCK, YSK), pp. 605–612.
KDD-2003-JinA #performance #streaming: Efficient decision tree construction on streaming data (RJ, GA), pp. 571–576.
KDD-2003-PerngTGMH #data-driven #network #validation: Data-driven validation, completion and construction of event relationship networks (CSP, DT, GG, SM, JLH), pp. 729–734.
KDD-2003-TeohM #interactive #named #visualisation: PaintingClass: interactive construction, visualization and exploration of decision trees (STT, KLM), pp. 667–672.
SEKE-2003-KiewkanyaJPM #design #metric: Constructing Understandability Model from Design Metrics (MK, NJ, NP, PM), pp. 208–215.
UML-2003-ShankarA #realtime #semantics #uml: Formal Semantics of UML with Real-Time Constructs (SS, SA), pp. 60–75.
LOPSTR-2003-WeberC: Constructively Characterizing Fold and Unfold (TW, JLC), pp. 110–127.
POPL-2003-Chen #calculus #type system: Coercive subtyping for the calculus of constructions (GC), pp. 150–159.
SAC-2003-ShapiroT #natural language #query #web: Constructing Web Search Queries from the User’s Information Need Expressed in a Natural Language (JS, IT), pp. 1157–1162.
ICSE-2003-CohenGMC #interactive #testing: Constructing Test Suites for Interaction Testing (MBC, PBG, WBM, CJC), pp. 38–48.
LDTA-J-2001-HedinM #aspect-oriented #compilation #jastadd #named: JastAdd — an aspect-oriented compiler construction system (GH, EM), pp. 37–58.
CC-2003-Reeuwijk #agile #compilation #robust #using: Rapid and Robust Compiler Construction Using Template-Based Metacompilation (KvR), pp. 247–261.
CAV-2003-Geilen #logic #on the fly #realtime: An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic (MG), pp. 394–406.
CSL-2003-AndreoliM #concurrent: Concurrent Construction of Proof-Nets (JMA, LM), pp. 29–42.
ICLP-2003-Munoz-HernandezM #implementation: A Real Implementation for Constructive Negation (SMH, JJMN), pp. 496–497.
TLCA-2003-Blanqui #algebra #calculus #induction: Inductive Types in the Calculus of Algebraic Constructions (FB), pp. 46–59.
VMCAI-2003-SteffenH #behaviour: Behavior-Based Model Construction (BS, HH), pp. 5–19.
ASE-2002-FenkamGJ #automation #case study #testing: Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing (PF, HCG, MJ), pp. 129–138.
ASE-2002-RoachB #automation #case study #deduction #experience #synthesis: Experience Report on Automated Procedure Construction for Deductive Synthesis (SR, JVB), p. 69–?.
DAC-2002-KolblKAD #simulation: Handling special constructs in symbolic simulation (AK, JHK, KA, RFD), pp. 105–110.
DATE-2002-BrockELSDBOK #design #power management: Power Crisis in SoC Design: Strategies for Constructing Low-Power, High-Performance SoC Designs (KB, CE, RL, US, AD, JB, DO, MK), p. 538.
DATE-2002-VanasscheGS #behaviour #matrix #modelling #using: Constructing Symbolic Models for the Input/Output Behavior of Periodically Time-Varying Systems Using Harmonic Transfer Matrices (PV, GGEG, WMCS), pp. 279–284.
PODS-2002-GuhaKS #algorithm #performance: Fast Algorithms For Hierarchical Range Histogram Construction (SG, NK, DS), pp. 180–187.
TACAS-2002-Lowry #analysis #tool support: Software Construction and Analysis Tools for Future Space Missions (MRL), pp. 1–19.
ICSM-2002-MilanovaRR #diagrams #precise: Constructing Precise Object Relation Diagrams (AM, AR, BGR), pp. 586–595.
SCAM-2002-MilanovaRR #graph #pointer #precise: Precise Call Graph Construction in the Presence of Function Pointers (AM, AR, BGR), pp. 155–162.
SCAM-2002-RiccaT #dependence #graph #slicing #web: Construction of the System Dependence Graph for Web Application Slicing (FR, PT), pp. 123–132.
CIAA-J-2000-CampeanuPY02 #algorithm #automaton #finite #performance: An Efficient Algorithm for Constructing Minimal Cover Automata for Finite Languages (CC, AP, SY), pp. 83–97.
CIAA-2002-Daciuk #algorithm #automaton #comparison #finite #set #string: Comparison of Construction Algorithms for Minimal, Acyclic, Deterministic, Finite-State Automata from Sets of Strings (JD), pp. 255–261.
DLT-2002-Cassaigne #complexity #infinity #word: Constructing Infinite Words of Intermediate Complexity (JC), pp. 173–184.
ICALP-2002-Lombardy #automaton #on the: On the Construction of Reversible Automata for Reversible Languages (SL), pp. 170–182.
FME-2002-Hall #correctness #development #process: Correctness by Construction: Integrating Formality into a Commercial Development Process (AH), pp. 224–233.
ICEIS-2002-GarveyJR #java #persistent #using: Using Persistent Java to Construct a GIS (MG, MJ, MR), pp. 257–262.
ICEIS-2002-MarirWO #cost analysis: A Case-Based Expert System for Estimating the Cost of Refurbishing Construction Buildings (FM, FW, KO), pp. 391–398.
ICPR-v1-2002-ShakunagaS #image #normalisation: Natural Image Correction by Iterative Projections to Eigenspace Constructed in Normalized Image Space (TS, FS), pp. 648–651.
ICPR-v3-2002-TanakaKFI #modelling #speech: Constructing Speech Processing Systems on Universal Phonetic Codes Accompanied with Reference Acoustic Models (KT, HK, NF, YI), pp. 728–731.
KDD-2002-LiTS #classification #robust #set: Construct robust rule sets for classification (JL, RWT, HS), pp. 564–569.
SEKE-2002-LeeKC #finite #interactive #sequence chart #state machine #testing: Construction of global finite state machine for testing task interactions written in message sequence charts (NHL, THK, SDC), pp. 369–376.
SEKE-2002-RiescoSPPJ #analysis #metamodelling #uml: Al analysis patterns as UML meta-model constructs (AMR, GS, DP, SP, JMJ), pp. 237–238.
LOPSTR-2002-FernandezS #approach #calculus: An Operational Approach to Program Extraction in the Calculus of Constructions (MF, PS), pp. 111–125.
PADL-2002-Liang #compilation #higher-order #logic programming: Compiler Construction in Higher Order Logic Programming (CL), pp. 47–63.
POPL-2002-PhiliposeCE #automation #compilation #staged #towards: Towards automatic construction of staged compilers (MP, CC, SJE), pp. 113–125.
CC-2002-AgrawalLS #graph: Evaluating a Demand Driven Technique for Call Graph Construction (GA, JL, QS), pp. 29–45.
CC-2002-GaravelLM #compilation #using: Compiler Construction Using LOTOS NT (HG, FL, RM), pp. 9–13.
CADE-2002-Andreoli #middleware #paradigm: Focussing Proof-Net Construction as a Middleware Paradigm (JMA), pp. 501–516.
CADE-2002-Larchey-Wendling #logic: Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic (DLW), pp. 94–110.
CSL-2002-BridgesIS #revisited: Compactness and Continuity, Constructively Revisited (DSB, HI, PS), pp. 89–102.
WICSA-2001-SpitznagelG #approach #composition: A Compositional Approach for Constructing Connectors (BS, DG), pp. 148–157.
DATE-2001-JozwiakC #composition #functional #metric: High-quality sub-function construction in functional decomposition based on information relationship measures (LJ, AC), pp. 383–390.
DocEng-2001-McKechnieSL #case study #documentation #industrial #scalability #set: Computer assisted processing of large unstructured document sets: a case study in the construction industry (JM, SS, SL), pp. 11–17.
ICDAR-2001-DowntonTWHLBSR #architecture #design #legacy: Constructing Web-Based Legacy Index Card Archives — Architectural Design Issues and Initial Data Acquisition (ACD, ACT, GJW, ACH, SML, GWB, MJS, GSR), pp. 854–858.
ICDAR-2001-KangL #classification #multi: Experimental Results on the Construction of Multiple Classifiers Recognizing Handwritten Numerals (HJK, SWL), pp. 1026–1030.
VLDB-2001-MorishimaKKT #approach #data-driven #repository #xml: Enabling End-users to Construct Data-intensive Web-sites from XML Repositories: An Example-based Approach (AM, SK, HK, ST), pp. 703–704.
CSEET-2001-ArmaregoFR #development #learning #online #re-engineering: Constructing Software Engineering Knowledge: Development of an Online Learning Environment (JA, LF, GGR), pp. 258–267.
ITiCSE-2001-BlankPKHJR #collaboration #multi #named: CIMEL: constructive, collaborative inquiry-based multimedia E-learning (GDB, WMP, GDK, MH, HJ, SR), p. 179.
IWPC-J-1999-MartinoMMV01 #communication #detection #interactive #parallel #program analysis: Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs (BDM, AM, NM, UV), pp. 235–263.
ICSM-2001-ByersKP #dependence #graph: Syntax-Directed Construction of Value Dependence Graphs (DB, MK, TP), p. 692–?.
WCRE-2001-AlhajjP #database #migration #object-oriented #re-engineering #relational: Reengineering Relational Databases to Object-Oriented: Constructing the Class Hierarchy and Migrating the Data (RA, FP), pp. 335–344.
STOC-2001-ElkinP #graph: (1+ε,β)-Spanner Constructions for General Graphs (ME, DP), pp. 173–182.
FLOPS-J2-1998-Hinze01 #axiom #functional #implementation #prolog: Prolog’s Control Constructs in a Functional Setting — Axioms and Implementation (RH), pp. 125–170.
FLOPS-J2-1998-Sakurai01 #category theory #proving: Categorical Model Construction for Proving Syntactic Properties (TS), pp. 213–244.
CIAA-2001-Bochmann: Submodule Construction and Supervisory Control: A Generalization (GvB), pp. 27–39.
CIAA-2001-FarreG #bound #parsing: Bounded-Graph Construction for Noncanonical Discriminating-Reverse Parsers (JF, JFG), pp. 101–114.
ICALP-2001-BeimelI #information retrieval: Information-Theoretic Private Information Retrieval: A Unified Construction (AB, YI), pp. 912–926.
ICALP-2001-BrodalFPO #complexity #using: The Complexity of Constructing Evolutionary Trees Using Experiments (GSB, RF, CNSP, AÖ), pp. 140–151.
ICALP-2001-ShankarKSR: Minimal Tail-Biting Trellises for Certain Cyclic Block Codes Are Easy to Construct (PS, PNAK, HS, BSR), pp. 627–638.
FME-2001-Airchinnigh #towards: Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (MMaA), pp. 396–418.
CHI-2001-BersGD #community: Identity construction environments: supporting a virtual therapeutic community of pediatric patients undergoing dialysis (MUB, JGH, DRD), pp. 380–387.
SVIS-2001-HundhausenD #algorithm #visualisation: A Language and System for Constructing and Presenting Low Fidelity Algorithm Visualizations (CDH, SAD), pp. 227–240.
CAiSE-2001-FurtadoC #library: Constructing Libraries of Typical Plans (ALF, AEMC), pp. 124–139.
ICEIS-v1-2001-MarirY #architecture #database #design #named #object-oriented #process: IODBCON: An Integrated Object-Oriented Database System for Integrating Information about Architecture Design and Construction Processes (FM, YJY), pp. 36–43.
ICEIS-v2-2001-FilhoOL #framework: Domain Oriented Framework Construction (IMF, TCdO, CJPdL), pp. 599–607.
CIKM-2001-HouSZW #database #mobile: An Optimal Construction of Invalidation Reports for Mobile Databases (WCH, MS, HZ, HW), pp. 458–465.
ICML-2001-DobraG #bias #classification: Bias Correction in Classification Tree Construction (AD, JG), pp. 90–97.
ICML-2001-KramerR: Feature Construction with Version Spaces for Biochemical Applications (SK, LDR), pp. 258–265.
KDD-T-2001-GehrkeL #roadmap: Advances in decision tree construction (JG, WYL), pp. 119–185.
SIGIR-2001-DrewL #classification #using: Construction of a Hierarchical Classifier Schema Using a Combination of Text-Based and Image-Based Approaches (MSD, CL), pp. 438–439.
TOOLS-EUROPE-2001-Pree #mobile: Mobile Computing’s Impact on Software Construction (WP), p. 4.
TOOLS-USA-2001-Arsanjani01c #adaptation #design #pattern matching #scalability: Rule Pattern Language 2001: A Pattern Language for Adaptive Manners and Scalable Business Rule Design and Construction (AA), pp. 370–376.
LOPSTR-2001-PotikasRG #datalog #nondeterminism #source code: A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs (PP, PR, MG), pp. 25–45.
PADL-2001-PontelliE #optimisation #parallel #programming #set: Construction and Optimization of a Parallel Engine for Answer Set Programming (EP, OEK), pp. 288–303.
SAC-2001-KimW: Batch-construction of B+-trees (SWK, HSW), pp. 231–235.
CC-2001-FarreG #bound #parsing: A Bounded Graph-Connect Construction for LR-regular Parsers (JF, JFG), pp. 244–258.
CSL-2001-AlechinaMPR #category theory #logic #semantics: Categorical and Kripke Semantics for Constructive S4 Modal Logic (NA, MM, VdP, ER), pp. 292–307.
LICS-2001-Blanqui #calculus: Definitions by Rewriting in the Calculus of Constructions (FB), pp. 9–18.
TLCA-2001-Miquel #calculus: The Implicit Calculus of Constructions (AM), pp. 344–359.
CBSE-2000-RíoGL #component #named #verification: Itacio: A Component Model for Verifying Software at Construction Time (ACdR, JELG, JMCL), p. 12.
ASE-2000-MartinWTG #kernel: Formal Construction of the Mathematically Analyzed Separation Kernel (WM, PW, FST, AG), pp. 133–142.
DAC-2000-CongY: Routing tree construction under fixed buffer locations (JC, XY), pp. 379–384.
DATE-2000-KravetsS #symmetry #synthesis #using: Constructive Library-Aware Synthesis Using Symmetries (VNK, KAS), pp. 208–213.
FoSSaCS-2000-BartheR #calculus #induction #type system: Constructor Subtyping in the Calculus of Inductive Constructions (GB, FvR), pp. 17–34.
FoSSaCS-2000-HonsellLST #refinement #λ-calculus: Constructive Data Refinement in Typed λ Calculus (FH, JL, DS, AT), pp. 161–176.
TACAS-2000-BornotGS #on the: On the Construction of Live Timed Systems (SB, GG, JS), pp. 109–126.
TACAS-2000-WolperB #automaton #constraints #linear #on the: On the Construction of Automata from Linear Arithmetic Constraints (PW, BB), pp. 1–19.
IWPC-2000-RaysideRHK #algorithm #automation #clustering #graph #object-oriented #source code: The Effect of Call Graph Construction Algorithms for Object-Oriented Programs on Automatic Clustering (DR, SR, EH, KK), pp. 191–200.
WCRE-2000-StrouliaTS #towards #web #xml: Constructing XML-Speaking Wrappers for WEB Applications: Towards an Interoperating WEB (ES, JRT, GS), p. 59–?.
STOC-2000-ColeH #performance: Faster suffix tree construction with missing suffix links (RC, RH), pp. 407–415.
CIAA-2000-CaronF #multi: Glushkov Construction for Multiplicities (PC, MF), pp. 67–79.
CIAA-2000-ChamparnaudZ #automaton #canonical #finite: New Finite Automaton Constructions Based on Canonical Derivatives (JMC, DZ), pp. 94–104.
CIAA-2000-MihovM #transducer: Direct Construction of Minimal Acyclic Subsequential Transducers (SM, DM), pp. 217–229.
CIAA-2000-PaunSY #algorithm #automaton #finite: An O(n2) Algorithm for Constructing Minimal Cover Automata for Finite Languages (AP, NS, SY), pp. 243–251.
CIAA-2000-Watson #algorithm: Directly Constructing Minimal DFAs: Combining Two Algorithms by Brzozowski (BWW), pp. 311–317.
ICALP-2000-Lutz #sequence: Gales and the Constructive Dimension of Individual Sequences (JHL), pp. 902–913.
IFM-2000-BertC #finite: Construction of Finite Labelled Transistion Systems from B Abstract Systems (DB, FC), pp. 235–254.
AdaEurope-2000-MauriS #analysis #embedded #reliability #safety #using: Constructing Reliable Embedded Systems Using the Results of System Safety Analysis (GM, SS), pp. 173–184.
CAiSE-2000-RupprechtFKR #experience #process: Capture and Dissemination of Experience about the Construction of Engineering Processes (CR, MF, HK, TR), pp. 294–308.
ICEIS-2000-Emery #case study #network: The Use of Information Theory in the Construction of a Bayesian Belief Network: A Case Study (DEE), pp. 121–126.
ICEIS-2000-Newman #database #design #web: Simplifying Database Design and Integrating it Into Dynamic Web Site Construction (IN), pp. 64–70.
CIKM-2000-LiuXY #clustering: Clustering Through Decision Tree Construction (BL, YX, PSY), pp. 20–29.
ICML-2000-PiaterG #development #learning #visual notation: Constructive Feature Learning and the Development of Visual Expertise (JHP, RAG), pp. 751–758.
ICPR-v2-2000-HamadaSHT #automation #classification #image: Automated Construction of Image Processing Procedure Based on Misclassification Condition (TH, AS, JiH, JiT), pp. 2430–2433.
ICPR-v2-2000-HuangCSG #classification #nearest neighbour #prototype: Constructing Optimized Prototypes for Nearest Neighbor Classifiers (YSH, CCC, JWS, WELG), pp. 2017–2020.
ICPR-v2-2000-KangL #classification #multi: An Information-Theoretic Strategy for Constructing Multiple Classifier Systems (HJK, SWL), pp. 2483–2486.
ICPR-v3-2000-HongHT #finite #gesture #performance #recognition #state machine: Constructing Finite State Machines for Fast Gesture Recognition (PH, TSH, MT), pp. 3695–3698.
ICPR-v4-2000-GuestFPD #aspect-oriented: Analyzing Constructional Aspects of Figure Completion for the Diagnosis of Visuospatial Neglect (RMG, MCF, JMP, ND), pp. 4316–4319.
ICPR-v4-2000-MatsumotoOHT #3d #fuzzy #image #logic #testing: Three-Dimensional Image Construction for Non-Destructive Testing Aided by Fuzzy Logic (TM, KO, YH, KT), pp. 4603–4606.
ICPR-v4-2000-ShimamuraTYY #image #modelling #using: Construction and Presentation of a Virtual Environment Using Panoramic Stereo Images of a Real Scene and Computer Graphics Models (JS, HT, NY, KY), pp. 4463–4467.
KDD-2000-GarofalakisHRS #algorithm #constraints #performance: Efficient algorithms for constructing decision trees with constraints (MNG, DH, RR, KS), pp. 335–339.
KDD-2000-TalbertF #analysis #empirical: An empirical analysis of techniques for constructing and searching k-dimensional trees (DAT, DHF), pp. 26–33.
SIGIR-2000-ChuangPLC #interactive #web: Auto-construction of a live thesaurus from search term logs for interactive Web search (SLC, HTP, WHL, LFC), pp. 334–336.
SIGIR-2000-SwanA00a #automation #named #timeline #visualisation: TimeMine: visualizing automatically constructed timelines (RCS, JA), p. 393.
OOPSLA-2000-TipP #algorithm #graph #scalability: Scalable propagation-based call graph construction algorithms (FT, JP), pp. 281–293.
TOOLS-PACIFIC-2000-PowerM #c++: Symbol Table Construction and Name Lookup in ISO C++ (JFP, BAM), pp. 57–69.
TOOLS-USA-2000-Kotula #c++ #reliability: Constructing Reliable C++ Classes [Abstract] (JK), pp. 501–504.
GCSE-2000-GoedickeNZ #architecture #component #design #development #flexibility #implementation: Design and Implementation Constructs for the Development of Flexible, Component-Oriented Software Architectures (MG, GN, UZ), pp. 114–128.
PPDP-2000-Faggian #calculus #clustering #commutative #proving: Proof construction and non-commutativity: a cluster calculus (CF), pp. 80–91.
CC-2000-Agrawal #graph: Demand-Driven Construction of Call Graphs (GA), pp. 125–140.
HPDC-2000-BeirigerJBHR #grid: Constructing the ASCI Computational Grid (JIB, WRJ, HPB, SLH, RR), pp. 193–200.
OSDI-2000-GribbleBHC #data type #distributed #internet #scalability: Scalable, Distributed Data Structures for Internet Service Construction (SDG, EAB, JMH, DEC), pp. 319–332.
CADE-2000-BezemHN #automation #proving #type system #using: Automated Proof Construction in Type Theory Using Resolution (MB, DH, HdN), pp. 148–163.
CAV-2000-AyariB #bound #higher-order #logic #monad: Bounded Model Construction for Monadic Second-Order Logics (AA, DAB), pp. 99–112.
CSL-2000-Schuster #analysis: Elementary Choiceless Constructive Analysis (PS), pp. 512–526.
WICSA-1999-Gentleman #architecture #developer: Architecture for Software Construction by Unrelated Developers (WMG), pp. 423–436.
SIGMOD-1999-GehrkeGRL: BOAT-Optimistic Decision Tree Construction (JG, VG, RR, WYL), pp. 169–180.
ESOP-1999-KrishnamurthiEF: Expressing Structural Properties as Language Constructs (SK, YDE, MF), pp. 258–272.
ICSM-1999-SinhaH #java #source code #testing: Criteria for Testing Exception-Handling Constructs in Java Programs (SS, MJH), p. 265–?.
WCRE-1999-FreitasL #reuse #reverse engineering #tool support: Reusing Domains for the Construction of Reverse Engineering Tools (FGdF, JCSdPL), p. 24–?.
PEPM-1999-DwyerH #slicing: Slicing Software for Model Construction (MBD, JH), pp. 105–118.
STOC-1999-Trevisan #generative #pseudo #using: Construction of Extractors Using Pseudo-Random Generators (Extended Abstract) (LT), pp. 141–148.
ICALP-1999-KimP #2d #linear: Linear-Time Construction of Two-Dimensional Suffix Trees (DKK, KP), pp. 463–472.
ICALP-1999-LingasOO #maintenance #performance: Efficient Merging, Construction, and Maintenance of Evolutionary Trees (AL, HO, AÖ), pp. 544–553.
ICALP-1999-Miculan #calculus #formal method #induction #lazy evaluation #proving #μ-calculus: Formalizing a Lazy Substitution Proof System for μ-calculus in the Calculus of Inductive Constructions (MM), pp. 554–564.
WIA-1999-Watson #algorithm #automaton #finite #taxonomy: A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata (BWW), pp. 174–182.
FM-v1-1999-Dunne #specification: The Safe Machine: A New Specification Construct for B (SD), pp. 472–489.
FM-v2-1999-LevyT #approach #education: A PVS-Based Approach for Teaching Constructing Correct Iterations (ML, LT), pp. 1859–1860.
FM-v2-1999-VerhoevenB #verification: Interfacing Program Construction and Verification (RV, RCB), pp. 1128–1146.
AGTIVE-1999-RibeiroC #composition #graph grammar #modelling #simulation #using: Compositional Construction of Simulation Models Using Graph Grammars (LR, BC), pp. 87–94.
CHI-1999-PlowmanKLST #design #learning #multi: Designing Multimedia for Learning: Narrative Guidance and Narrative Construction (LP, RL, DL, MS, JT), pp. 310–317.
HCI-CCAD-1999-IshiiTY #design #interface: User-interface design of the support system for constructing virtual environment (HI, TT, HY), pp. 1182–1186.
HCI-EI-1999-Brandt-PookFWS #recognition #speech: Integrated Recognition and Interpretation of Speech for a Construction Task Domain (HBP, GAF, SW, GS), pp. 550–554.
HCI-EI-1999-MeyerZMG #automation #diagrams: Automatic Construction of Intelligent Diagrammatic Environments (BM, HZ, LM, ZG), pp. 1303–1307.
AdaEurope-1999-Kordon #ada: MetaScribe, an Ada-based Tool for the Construction of Transformation Engines (FK), pp. 308–319.
CAiSE-1999-JungferLR #database #relational: Constructing IDL Views on Relational Databases (KJ, UL, PRT), pp. 255–268.
KDD-1999-AnkerstEEK #approach #classification #interactive #visual notation: Visual Classification: An Interactive Approach to Decision Tree Construction (MA, CE, ME, HPK), pp. 392–396.
SIGIR-1999-Marcu #automation #corpus #research #scalability #summary: The Automatic Construction of Large-Scale Corpora for Summarization Research (DM), pp. 137–144.
TOOLS-ASIA-1999-WangZ #replication: A Tool for Constructing Service Replication Systems (LW, WZ), pp. 358–361.
TOOLS-EUROPE-1999-Osterbye: Associations as a Language Construct (KØ), pp. 224–235.
TOOLS-PACIFIC-1999-LingSF #component #distributed: Constructing Interoperable Components in Distributed Systems (SL, HWS, RF), p. 274–?.
GCSE-1999-SmaragdakisB #generative: Scoping Constructs for Software Generators (YS, DSB), pp. 65–78.
SAC-1999-ChiangN #reuse #specification: Constructing Reusable Specifications Through Analogy (CCC, DN), pp. 586–592.
SAC-1999-HarwoodS #low cost #network: A Method of Trading Diameter for Reduced Degree to Construct Low Cost Interconnection Networks (AH, HS), pp. 474–480.
ESEC-FSE-1999-Fierz #component #embedded #modelling: The CIP Method: Component- and Model-Based Construction of Embedded Systems (HF), pp. 375–392.
CC-1999-ZhangGRG #performance #pipes and filters: Efficient State-Diagram Construction Methods for Software Pipelining (CZ, RG, SR, GRG), pp. 153–167.
RTA-1999-BlanquiJO #algebra #calculus: The Calculus of algebraic Constructions (FB, JPJ, MO), pp. 301–316.
DAC-1998-KravetsS #logic #multi #named #synthesis: M32: A Constructive multilevel Logic Synthesis System (VNK, KAS), pp. 336–341.
HT-1998-NanardNK #design pattern #hypermedia #reuse: Pushing Reuse in Hypermedia Design: Golden Rules, Design Patterns and Constructive Templates (MN, JN, PK), pp. 11–20.
SIGMOD-1998-AmbiteABKMMMPT #internet #named: ARIADNE: A System for Constructing Mediators for Internet Sources (JLA, NA, GB, CAK, SM, PJM, IM, AP, ST), pp. 561–563.
SIGMOD-1998-ChaudhuriMN #how #question #random: Random Sampling for Histogram Construction: How much is enough? (SC, RM, VRN), pp. 436–447.
VLDB-1998-GehrkeRG #dataset #framework #named #performance #scalability: RainForest — A Framework for Fast Decision Tree Construction of Large Datasets (JG, RR, VG), pp. 416–427.
FASE-1998-Lechner #concept #concurrent #object-oriented #reuse: Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages (UL), pp. 171–187.
CSMR-1998-OhtaMI #on the #source code #verification: On Constructing a Tool to Verify Programs for Processors Built in Machines (TO, NM, YI), pp. 52–59.
ICSM-1998-SinhaH #analysis #source code: Analysis of Programs with Exception-Handling Constructs (SS, MJH), pp. 348–357.
SAS-1998-BodeiDP #abstract interpretation #concurrent #semantics: Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation (CB, PD, CP), pp. 168–183.
STOC-1998-LevcopoulosNS #algorithm #fault tolerance #geometry #performance: Efficient Algorithms for Constructing Fault-Tolerant Geometric Spanners (CL, GN, MHMS), pp. 186–195.
FLOPS-1998-Sakurai #proving: Categorial Model Construction for Proving Syntactic Properties (TS), pp. 187–206.
ICALP-1998-GhaniPR: Explicit Substitutions for Constructive Necessity (NG, VdP, ER), pp. 743–754.
WIA-1998-Watson #algorithm #performance: A Fast New Semi-incremental Algorithm for the Construction of Minimal Acyclic DFAs (BWW), pp. 121–132.
ICFP-1998-Erlich #design pattern #implementation: Implementing Design Patterns as Language Constructs (YDE), p. 348.
CHI-1998-AbramsBC #web: Information Archiving with Bookmarks: Personal Web Space Construction and Organization (DA, RB, MHC), pp. 41–48.
ACIR-1998-Dalamagas #automation #hypermedia #named: NHS: A Tool for the Automatic Construction of News Hypertext (TD).
CIKM-1998-FritschiGD #approach #database #named: Framboise — An Approach to Framework-Based Active Database Management System Construction (HF, SG, KRD), pp. 364–370.
ICML-1998-PrecupU #approximate #classification #using: Classification Using Phi-Machines and Constructive Function Approximation (DP, PEU), pp. 439–444.
ICPR-1998-HuYY #algorithm #clustering #string: Algorithms for partitioning path construction of handwritten numeral strings (JH, DY, HY), pp. 372–374.
ICPR-1998-KadyrovP98a #invariant: The trace transform as a tool to invariant feature construction (AK, MP), pp. 1037–1039.
ICPR-1998-RathaCB #image: Image mosaicing for rolled fingerprint construction (NKR, JHC, RMB), pp. 1651–1653.
ICPR-1998-SunOA #algorithm #multi #recognition #taxonomy: An algorithm for constructing a multi-template dictionary for character recognition considering distribution of feature vectors (FS, SO, HA), pp. 1114–1116.
KDD-1998-DomshlakGGLMRS #flexibility #framework #named #research: FlexiMine — A Flexible Platform for KDD Research and Application Construction (CD, DG, EG, NL, AM, TR, SES), pp. 184–188.
SIGIR-1998-CormackPC #performance #scalability: Efficient Construction of Large Test Collections (GVC, CRP, CLAC), pp. 282–289.
UML-1998-SaksenaLFE #uml: Extending Aggregation Constructs in UML (MS, MMLP, RBF, MPE), pp. 435–441.
ALP-PLILP-1998-ClearyL #using: Constructive Negation Using Typed Existence Properties (JGC, LL), pp. 411–426.
LOPSTR-1998-BaldanCLP #declarative #semantics #towards: A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury (DB, BLC, CL, IP), pp. 21–40.
POPL-1998-CollbergTL: Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs (CSC, CDT, DL), pp. 184–196.
SAC-1998-NezuL #incremental #network: Incremental construction of torus networks (NN, HL), pp. 80–84.
CSL-1998-Hoang #logic: Choice Construct and Lindström Logics (HKH), pp. 105–125.
ISSTA-1998-Corbett #concurrent #java #modelling #source code: Constructing Compact Models of Concurrent Java Programs (JCC), pp. 1–10.
LICS-1998-Tatsuta #synthesis: Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis (MT), pp. 358–367.
EDTC-1997-EisenbieglerKB #approach #correctness #towards: A constructive approach towards correctness of synthesis-application within retiming (DE, RK, CB), pp. 427–431.
EDTC-1997-HettDB #order #performance #synthesis: Fast and efficient construction of BDDs by reordering based synthesis (AH, RD, BB), pp. 168–175.
ICDAR-1997-WatanabeN #retrieval: Construction of retrieval system for pictorial book of flora (YW, MN), pp. 962–967.
VLDB-1997-MorimotoIM #performance: Efficient Construction of Regression Trees with Range and Region Splitting (YM, HI, SM), pp. 166–175.
CSEET-1997-Umphress #case study #education #experience #re-engineering: Experiences in constructing a level-2 software engineering graduate curriculum (DAU), pp. 4–12.
ICSM-1997-ZivR #maintenance #modelling #nondeterminism #testing: Constructing Bayesian-network models of software testing and maintenance uncertainties (HZ, DJR), p. 100–?.
WPC-1997-StoreyFM #design #visualisation: Cognitive Design Elements to Support the Construction of a Mental Model during Software Visualization (MADS, FDF, HAM), pp. 17–28.
STOC-1997-NaorR #on the #permutation #pseudo: On the Construction of Pseudo-Random Permutations: Luby-Rackoff Revisited (Extended Abstract) (MN, OR), pp. 189–199.
DLT-1997-RaskovaR #algebra #formal method #recursion: Recursive Constructions in the Theory of P.I. Algebras (TGR, PIR), pp. 559–566.
ICALP-1997-BodlaenderT #algorithm #linear: Constructive Linear Time Algorithms for Branchwidth (HLB, DMT), pp. 627–637.
ICALP-1997-EilamFZ #layout #network #problem: A Complete Characterization of the Path Layout Construction Problem for ATM Networks with Given Hop Count and Load (Extended Abstract) (TE, MF, SZ), pp. 527–537.
ICALP-1997-ErdosSSW #sequence: Constructing Big Trees from Short Sequences (PLE, MAS, LAS, TW), pp. 827–837.
WIA-1997-AlonsoCF #glr #parsing #performance: Construction of Efficient Generalized LR Parsers (MAA, DC, MVF), pp. 7–24.
AdaEurope-1997-CheungCC #integration #object-oriented #towards: Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods (KSC, PKOC, TYC), pp. 173–184.
AdaEurope-1997-Feldman #ada #set: An Ada 95 Sort Race Construction Set (MBF), pp. 23–34.
TRI-Ada-1997-Conn #analysis #source code: The Source Code Analysis Tool Construction Project (RLC), pp. 141–148.
TRI-Ada-1997-OhB #optimisation: Optimization of Ada-95 Tasking Constructs (DIO, TPB), pp. 79–88.
CAiSE-1997-DiazP #calculus #modelling #policy #validation: Stimuli and Business Policies as Modelling Constructs: Their Definition and Validation Through the Event Calculus (OD, NWP), pp. 33–46.
ICML-1997-VilaltaR #classification #induction #multi: Integrating Feature Construction with Multiple Classifiers in Decision Tree Induction (RV, LAR), pp. 394–402.
SIGIR-1997-AgostiBM #automation #information retrieval #named: ACHIRA: Automatic Construction of Hypertexts for Information Retrieval Applications (Abstract) (MA, LB, MM), p. 335.
OOPSLA-1997-GroveDDC #graph #object-oriented: Call Graph Construction in Object-Oriented Languages (DG, GD, JD, CC), pp. 108–124.
TOOLS-ASIA-1997-ZhangR #hypermedia: Hypertext Construction with an Open Hypertext System (ZZ, MR), pp. 104–109.
SAC-1997-Lee: Constructing the constrained Delaunay triangulation on the Intel paragon (FL), pp. 464–467.
ICSE-1997-PezzeY #analysis #modelling #multi #semantics #tool support #using: Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models (MP, MY), pp. 239–249.
PPoPP-1997-BianchiniCK #interactive #parallel #programming #protocol: The Interaction of Parallel Programming Constructs and Coherence Protocols (RB, EVC, LIK), pp. 69–79.
PPoPP-1997-YangO #parallel: Parallel Breadth-First BDD Construction (BY, DRO), pp. 145–156.
CADE-1997-CryanR #normalisation: Constructing a Normal Form for Property Theory (MC, AR), pp. 237–251.
CADE-1997-KreitzMOS #linear #logic #proving: Connection-Based Proof Construction in Linear Logic (CK, HM, JO, SS), pp. 207–221.
CAV-1997-GrafS #graph: Construction of Abstract State Graphs with PVS (SG, HS), pp. 72–83.
ICLP-1997-SmausHK #analysis #logic programming #source code: Domain Construction for Mode Analysis of Typed Logic Programs (JGS, PMH, AK), p. 418.
TLCA-1997-Ghani #calculus #dependent type #type system: Eta-Expansions in Dependent Type Theory — The Calculus of Constructions (NG), pp. 164–180.
TLCA-1997-Ruess #calculus #proving #theorem proving: Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving (HR), pp. 319–335.
DAC-1996-OhPP #bound #linear #programming #using: Constructing Lower and Upper Bounded Delay Routing Trees Using Linear Programming (JO, IP, MP), pp. 401–404.
DAC-1996-VercauterenLM #architecture #embedded: Constructing Application-Specific Heterogeneous Embedded Architectures from Custom HW/SW Applications (SV, BL, HDM), pp. 521–526.
KBSE-1996-HoweP #behaviour #modelling: Constructing Transition Models of AI Planner Behavior (AEH, LDP), p. 8.
VLDB-1996-FukudaMMT #performance #using: Constructing Efficient Decision Trees by Using Optimized Numeric Association Rules (TF, YM, SM, TT), pp. 146–155.
VLDB-1996-Mattos #compilation #sql: Supporting Procedural Constructs in SQL Compilers (NMM), p. 581.
ESOP-1996-LiangH #compilation #composition #semantics: Modular Denotational Semantics for Compiler Construction (SL, PH), pp. 219–234.
TACAS-1996-BuhrkeLV #infinity: Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions (NB, HL, JV), pp. 207–224.
TACAS-1996-HermannsMR #algebra #analysis #probability #process: A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP (HH, VM, MR), pp. 427–430.
TACAS-1996-HeylMK #named #tool support: cTc — A Tool Supporting the Construction of cTLA-Specifications (CH, AM, HK), pp. 407–411.
PLDI-1996-BaileyD #generative #sequence #source code: Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators (MWB, JWD), pp. 249–257.
STOC-1996-BonetPWY #polymorphism: Constructing Evolutionary Trees in the Presence of Polymorphic Characters (MLB, CAP, TW, SY), pp. 220–229.
STOC-1996-KosarajuD #assembly #scalability #string: Large-Scale Assembly of DNA Strings and Space-Efficient Construction of Suffix Trees (Correction) (SRK, ALD), p. 659.
STOC-1996-Zuckerman: Randomness-Optimal Sampling, Extractors, and Constructive Leader Election (DZ), pp. 286–295.
ICALP-1996-AtenieseBSS #bound #encryption #visual notation: Constructions and Bounds for Visual Cryptography (GA, CB, ADS, DRS), pp. 416–428.
ICALP-1996-FarachM #random: Optimal Logarithmic Time Randomized Suffix Tree Construction (MF, SM), pp. 550–561.
WIA-1996-JohnsonW #set: Instruction Computation in Subset Construction (JHJ, DW), pp. 64–71.
ICFP-1996-LeeF #formal method #incremental #towards #λ-calculus: Enriching the λ Calculus with Contexts: Toward a Theory of Incremental Program Construction (SDL, DPF), pp. 239–250.
CIKM-1996-LiH #information management #reuse: Constructing Information Systems Based on Schema Reuse (WSL, RDH), pp. 197–204.
ICML-1996-DonohoR #induction #using: Constructive Induction Using Fragmentary Knowledge (SKD, LAR), pp. 113–121.
ICPR-1996-DoraiWJM #3d #automation #image #modelling #multi: From images to models: automatic 3D object model construction from multiple views (CD, GW, AKJ, CRM), pp. 770–774.
ICPR-1996-EigenmannN #robust: Constructive and robust combination of perceptrons (RE, JAN), pp. 195–199.
ICPR-1996-HuangLSSSLTH #approach #classification #nearest neighbour #prototype: A simulated annealing approach to construct optimized prototypes for nearest-neighbor classification (YSH, KL, CYS, AJS, IIS, MCL, RYT, PKH), pp. 483–487.
ICPR-1996-HwangB #classification #network #performance #recognition: An efficient method to construct a radial basis function neural network classifier and its application to unconstrained handwritten digit recognition (YSH, SYB), pp. 640–644.
ICPR-1996-MasudaSY #3d #image #integration #multi: Registration and integration of multiple range images for 3-D model construction (TM, KS, NY), pp. 879–883.
ICPR-1996-ValevR #recognition: Construction of Boolean decision rules for ECG recognition by non-reducible descriptors (VV, PR), pp. 111–115.
ICPR-1996-ZhangB #automation #image #recognition #using: Automatic model construction for object recognition using ISAR images (SZ, BB), pp. 169–173.
SEKE-1996-MonteroS #component #information management: The Role of Knowledge Acquisition in Component Based System Construction (LM, CTS), pp. 161–170.
SIGIR-1996-HanM #automation #image #retrieval: Image Organization and Retrieval with Automatically Constructed Feature Vectors (KAH, SHM), pp. 157–165.
ECOOP-1996-Jacobs #inheritance: Inheritance and Cofree Constructions (BJ), pp. 210–231.
SAC-1996-Fritzke #automation #fuzzy #logic #network: Automatic construction of radial basis function networks with the growing neural gas model and its relevance for fuzzy logic (BF), pp. 624–627.
ICSE-1996-Henninger #component #evolution #repository: Supporting the Construction and Evolution of Component Repositories (SH), pp. 279–288.
CC-1996-Waite #compilation #question: Compiler Construction: Craftmanship or Engineering? (WMW), pp. 151–159.
CADE-1996-Felty #calculus #proving #set: Proof Search with Set Variable Instantiation in the Calculus of Constructions (APF), pp. 658–672.
ISSTA-1996-Corbett #concurrent #modelling #realtime: Constructing Abstract Models of Concurrent Real-Time Software (JCC), pp. 250–260.
DAC-1995-BredenfeldC #design #graph #integration #tool support #using: Tool Integration and Construction Using Generated Graph-Based Design Representations (AB, RC), pp. 94–99.
ICDAR-v1-1995-AkindeleB #documentation #modelling #using: Construction of generic models of document structures using inference of tree grammars (OTA, AB), pp. 206–209.
ICDAR-v2-1995-Nishida #automation #modelling: Automatic construction of structural models for unconstrained handwritten characters (HN), pp. 1107–1110.
FPLE-1995-HilsdaleADF #compilation #using: Compiler Construction Using Scheme (EH, JMA, RKD, DPF), pp. 251–267.
ESOP-J-1994-GiegerichK95 #comparison #functional #imperative: A Comparison of Imperative and Purely Functional Suffix Tree Constructions (RG, SK), pp. 187–218.
STOC-1995-KosarajuD #assembly #scalability #string: Large-scale assembly of DNA strings and space-efficient construction of suffix trees (SRK, ALD), pp. 169–177.
ICALP-1995-GiancarloG #algorithm #matrix #on the: On the Construction of Classes of Suffix Trees for Square Matrices: Algorithms and Applications (RG, RG), pp. 111–122.
ICALP-1995-GolinR #algorithm #programming: A Dynamic Programming Algorithm for Constructing Optimal Refix-Free Codes for Unequal Letter Costs (MJG, GR), pp. 256–267.
AFP-1995-EekelenP95 #functional #performance #source code: Constructing Medium Sized Efficient Functional Programs in Clean (MCJDvE, MJP), pp. 183–227.
FPCA-1995-JeuringS #analysis #functional #problem #source code: Constructing Functional Programs for Grammar Analysis Problems (JJ, SDS), pp. 259–269.
CAiSE-1995-GeppertD #database #reuse: Strategies and Techniques: Reusable Artifacts for the Construction of Database Management Systems (AG, KRD), pp. 297–310.
CIKM-1995-ParkHC #automation #network #using: Automatic Thesaurus Construction Using Bayesian Networks (YCP, YSH, KSC), pp. 212–217.
ICML-1995-DonohoR #induction #lessons learnt: Lessons from Theory Revision Applied to Constructive Induction (SKD, LAR), pp. 185–193.
SEKE-1995-ArefiMW #automation #editing #graph: The Graph Editor of EdGen, A Tool to Aid the Automated Construction of Customized Graph Editors (FA, MM, AW), pp. 438–445.
SAC-1995-DamianiF #automation #component #fuzzy #retrieval #reuse: Automatic thesaurus construction supporting fuzzy retrieval of reusable components (ED, MGF), pp. 542–547.
LCT-RTS-1995-ChungD #realtime: Language Constructs and Transformation for Hard Real-time Systems (TMC, HGD), pp. 41–49.
SOSP-1995-Liedtke #kernel #on the: On micro-Kernel Construction (JL), pp. 237–250.
ICLP-1995-Lifschitz: SLDNF, Constructive Negation and Grounding (VL), pp. 581–595.
ICLP-1995-NilssonH #higher-order #logic programming #source code: Constructing Logic Programs with Higher-Order Predicates (JFN, AH), p. 827.
ILPS-1995-BekkersT #logic programming #monad: Monadic Constructs for Logic Programming (YB, PT), pp. 51–65.
RTA-1995-SchmidF #performance #testing #towards: Towards an Efficient Construction of Test Sets for Deciding Ground Reducability (KS, RF), pp. 86–100.
DAC-1994-GuptaCDP #design #experience #image #tool support #using: Experience with Image Compression Chip Design using Unified System Construction Tools (PG, CTC, JCDB, ACP), pp. 250–256.
KBSE-1994-TerveenS #case study: Intelligent Assistance for Software Construction: A Case Study (LGT, PGS), pp. 14–21.
SAS-1994-BoulangerB #abstract domain: A Systematic Construction of Abstract Domains (DB, MB), pp. 61–77.
STOC-1994-BergDS #incremental #lazy evaluation #on the #random: On lazy randomized incremental construction (MdB, KD, OS), pp. 105–114.
STOC-1994-Hariharan #parallel: Optimal parallel suffix tree construction (RH), pp. 290–299.
STOC-1994-HerlihyS #theorem: A simple constructive computability theorem for wait-free computation (MH, NS), pp. 243–252.
STOC-1994-Kosaraju #pattern matching #realtime: Real-time pattern matching and quasi-real-time construction of suffix trees (preliminary version) (SRK), pp. 310–316.
STOC-1994-SahinalpV #symmetry: Symmetry breaking for suffix tree construction (SCS, UV), pp. 300–309.
ICALP-1994-GyssensBG #performance: Expressiveness of Efficient Semi-Deterministic Choice Constructs (MG, JVdB, DVG), pp. 106–117.
TAGT-1994-CourcelleS #graph #set: The Obstructions of a Minor-Closed Set of Graphs Defined by Hyperedge Replacement can be Constructed (BC, GS), pp. 351–367.
KDD-1994-AronisP #induction #machine learning #relational: Efficiently Constructing Relational Features from Background Knowledge for Inductive Machine Learning (JMA, FJP), pp. 347–358.
OOPSLA-1994-YellinS #adaptation #automation #interface #protocol: Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors (DMY, RES), pp. 176–190.
TOOLS-EUROPE-1994-Malhotra #on the: On the Construction of Extensible Systems (JM), pp. 255–270.
TOOLS-EUROPE-1994-VelhoC #named #semantics: Attribute: A Semantic and Seamless Construct (AVV, RC), pp. 103–116.
ICRE-1994-SiddiqiMHB #formal method #requirements #towards: Towards a system for the construction, clarification, discovery and formalisation of requirements (JIAS, ICM, RH, GB), pp. 230–238.
SAC-1994-MahoneyLW #exponential #network: Construction of an artificial neural network for simple exponential smoothing in forecasting (DWM, RPL, SIW), pp. 308–312.
FSE-1994-LevyS #approach #independence #specification: A Language-Independent Approach to Specification Construction (NL, GS), pp. 76–86.
ICSE-1994-DevanbuRW #analysis #automation #testing #tool support: Automated Construction of Testing and Analysis Tools (PTD, DSR, ALW), pp. 241–250.
HPDC-1994-Dongarra #library: Constructing Numerical Software Libraries for HPCC Environments (JD), p. 4.
CADE-1994-Jackson #algebra #type system: Exploring Abstract Algebra in Constructive Type Theory (PJ), pp. 590–604.
CADE-1994-Portoraro #automation #named #proving: Symlog: Automated Advice in Fitch-style Proof Construction (FDP), pp. 802–806.
ICLP-1994-BossiFM #bottom-up #semantics: A Bottom-up Semantics for Constructive Negation (AB, MF, MCM), pp. 520–534.
ICLP-1994-Moreno-Navarro: Default Rules: An Extension of Constructive Negation for Narrowing-based Languages (JJMN), pp. 535–549.
DAC-1993-SeawrightB #performance #synthesis: High-Level Symbolic Construction Technique for High Performance Sequential Synthesis (AS, FB), pp. 424–428.
ICDAR-1993-SatohTK #collaboration #documentation #hypermedia: A collaborative supporting method between document processing and hypertext construction (SS, AT, EK), pp. 533–536.
ICDAR-1993-SekiT: Relationship between the construction of Chinese character and the correct ratio of writer indentification (YS, NT), pp. 838–841.
ICDAR-1993-ShimadaTST #automation #database #recognition: Paralleled automatic recognition of maps and drawings for constructing electric power distribution databases (SS, YT, HS, KT), pp. 688–691.
STOC-1993-KollerM #constraints: Constructing small sample spaces satisfying given constraints (DK, NM), pp. 268–277.
STOC-1993-LinialLSZ #combinator #performance #set: Efficient construction of a small hitting set for combinatorial rectangles in high dimension (NL, ML, MES, DZ), pp. 258–267.
STOC-1993-WigdersonZ #bound: Expanders that beat the eigenvalue bound: explicit construction and applications (AW, DZ), pp. 245–251.
ICALP-1993-KalyanasundaramP #information management: Constructing Competitive Tours From Local Information (BK, KP), pp. 102–113.
HCI-SHI-1993-ChenTW #automation #editing #graph #object-oriented #paradigm: Automated Construction of Application-Specific Graph Editors in an Object-Oriented Paradigm (MC, PT, CYW), pp. 415–420.
HCI-SHI-1993-MartinW #automation: Integrating CASE and UIMS for Automatic Software Construction (CM, CW), pp. 291–296.
HCI-SHI-1993-OgawaSTS #knowledge-based #scheduling: Experimental Method for Construction of a Knowledge-Based System for Shipping Berth Scheduling (MO, NS, TT, SS), pp. 315–320.
ICML-1993-Connolly #clustering #concept #network: Constructing Hidden Variables in Bayesian Networks via Conceptual Clustering (DC), pp. 65–72.
ICML-1993-RagavanR #concept #learning #lookahead: Lookahead Feature Construction for Learning Hard Concepts (HR, LAR), pp. 252–259.
SEKE-1993-LeloucheV #automation #knowledge-based #testing #using: Using the Inference Engine Strategy in the Automatic Construction of Test Cases for a Knowledge-Based System (RL, LV), pp. 388–395.
PLILP-1993-JourdanLMR #declarative #imperative: Embedding Declarative Subprograms into Imperative Constructs (MJ, FL, FM, PR), pp. 414–415.
POPL-1993-Lakhotia #dependence #graph #multi #using: Constructing Call Multigraphs Using Dependence Graphs (AL), pp. 273–284.
POPL-1993-Mairson #logic #multi #type system: A Constructive Logic of Multiple Subtyping (HGM), pp. 313–324.
SAC-1993-AgostiC #automation #hypermedia #information retrieval: A Methodology for the Automatic Construction of a Hypertext for Information Retrieval (MA, FC), pp. 745–753.
SAC-1993-BrendelB #3d #network #re-engineering: 3-Dimensional Reconstruction by Silhouettes to Construct Training Patterns for Neural Networks (TB, JB), pp. 770–774.
SAC-1993-HyslopL #diagrams #fault #incremental: Error Free Incremental Construction of Voronoi Diagrams in the Plane (GAH, EAL), pp. 388–396.
SAC-1993-Jeffay #paradigm #performance #predict #realtime: The Real-Time Producer/Consumer Paradigm: A Paradigm for the Construction of Efficient, Predictable Real-Time Systems (KJ), pp. 796–804.
SAC-1993-PattersonTH #distributed #fault tolerance: Construction of a Fault-Tolerant Distributed Tuple-Space (LIP, RST, RMH), pp. 279–285.
SAC-1993-ThakoreC: Effect of the χ² Test on Construction of ID3 Decision Trees (MT, DCSC), pp. 1–8.
ESEC-1993-JengC #component #formal method #library #using: Using Formal Methods to Construct a Software Component Library (JJJ, BHCC), pp. 397–417.
ESEC-1993-PaoliT #design: Language Constructs for Cooperative Systems Design (FDP, FT), pp. 329–343.
HPDC-1993-FletcherO #distributed #learning #network #parallel: Parallel and Distributed Systems for Constructive Neural Network Learning (JF, ZO), pp. 174–178.
CSL-1993-OngR #calculus #normalisation: A Generic Strong Normalization Argument: Application to the Calculus of Constructions (CHLO, ER), pp. 261–279.
ILPS-1993-MoraPRF #equation #prototype #type system: A Prototype System for Equational Constructive Negation (AM, JP, MJR, MF), p. 638.
ISSTA-1993-HarroldMR #dependence #graph #performance: Efficient Construction of Program Dependence Graphs (MJH, BAM, GR), pp. 160–170.
TLCA-1993-BarbaneraB #logic #reduction: Extracting Constructive Content from Classical Logic via Control-like Reductions (FB, SB), pp. 45–59.
HT-ECHT-1992-BernsteinJL: Contours of Constructive Hypertexts (MB, MJ, DL), pp. 161–170.
STOC-1992-BroderFU #graph: Existence and Construction of Edge Disjoint Paths on Expander Graphs (AZB, AMF, EU), pp. 140–149.
CHI-1992-RotellaBW #set #user interface: The AT&T Display Construction Set User Interface Management System (UIMS) (JPR, ALB, CAW), pp. 73–74.
ML-1992-BalaMW #induction: The Principal Axes Method for Constructive Induction (JWB, RSM, JW), pp. 20–29.
ML-1992-OliveiraS #feature model #induction #using: Constructive Induction Using a Non-Greedy Strategy for Feature Selection (ALO, ALSV), pp. 355–360.
SEKE-1992-Berztiss #constraints: Operational Construction of Integrity Constraints (ATB), pp. 487–494.
SIGIR-1992-CrouchY #automation #statistics: Experiments in Automatic Statistical Thesaurus Construction (CJC, BY), pp. 77–88.
SIGIR-1992-FoxCH #algorithm #performance: A Faster Algorithm for Constructing Minimal Perfect Hash Functions (EAF, QFC, LSH), pp. 266–273.
OOPSLA-1992-DonyMC #prototype #taxonomy #validation: Prototype-Based Languages: From a New Taxonomy to Constructive Proposals and Their Validation (CD, JM, PC), pp. 201–217.
TOOLS-EUROPE-1992-BreuningA #set #user interface #visual notation: Hierarchic Views — a Construction Set for Complex Graphical User Interfaces (RB, WA), pp. 325–332.
ALP-1992-Lysne #algebra #consistency #proving #semantics: Proof by Consistency in Constructive Systems with Final Algebra Semantics (OL), pp. 276–290.
PLILP-1992-HenrardC #declarative #logic programming #named #source code: FOLON: An Environment for Declarative Construction of Logic Programs (JH, BLC), pp. 217–231.
CADE-1992-ChouG #geometry #proving: Proving Geometry Statements of Constructive Type (SCC, XSG), pp. 20–34.
CADE-1992-Reif: The KIV System: Systematic Construction of Verified Software (WR), pp. 753–757.
LICS-1992-Klarlund #automaton #metric #set: Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata (NK), pp. 382–393.
LICS-1992-Nakano #formal method: A Constructive Formalization of the Catch and Throw Mechanism (HN), pp. 82–89.
DAC-1991-SutanthavibulS #predict: Dynamic Prediction of Critical Paths and Nets for Constructive Timing-Driven Placement (SS, ES), pp. 632–635.
SIGMOD-1991-GordinP #database: Set-Oriented Constructs: From Rete Rule Bases to Database Systems (DNG, AJP), pp. 60–67.
ESOP-J-1990-Heckmann91: Power Domain Constructions (RH), pp. 77–117.
STOC-1991-BuchmannS #finite: Constructing Nonresidues in Finite Fields and the Extended Riemann Hypothesis (JAB, VS), pp. 72–79.
STOC-1991-DjidjevR #algorithm #performance #problem: An Efficient Algorithm for the Genus Problem with Explicit Construction of Forbidden Subgraphs (HD, JHR), pp. 337–347.
WSA-1991-BoeckC #analysis #automation #prolog #type checking: Automatic Construction of Prolog Primitives for Type Checking Analysis (PDB, BLC), pp. 165–172.
CHI-1991-FischerHR #evaluation #query: Intertwining query construction and relevance evaluation (GF, SH, DFR), pp. 55–62.
CHI-1991-NonogakiU #interface: FRIEND21 project: a construction of 21st century human interface (HN, HU), pp. 407–414.
AdaEurope-1991-FernandezP #component #library: Constructing a Pilot Library of Components for Avionic Systems (JLF, JAdlP), pp. 362–371.
ML-1991-Aha #approach #incremental #induction: Incremental Constructive Induction: An Instance-Based Approach (DWA), pp. 117–121.
ML-1991-CallanU #approach #induction: A Transformational Approach to Constructive Induction (JPC, PEU), pp. 122–126.
ML-1991-Drastal #induction: Informed Pruning in Constructive Induction (GD), pp. 132–136.
ML-1991-GunschR #induction: Opportunistic Constructive Induction (GHG, LAR), pp. 147–152.
ML-1991-Kadie #induction #learning: Quantifying the Value of Constructive Induction, Knowledge, and Noise Filtering on Inductive Learning (CMK), pp. 153–157.
ML-1991-LengB #induction: Constructive Induction on Symbolic Features (BL, BGB), pp. 163–167.
ML-1991-Matheus #induction: The Need for Constructive Induction (CJM), pp. 173–177.
ML-1991-MooneyO #induction #refinement: Constructive Induction in Theory Refinement (RJM, DO), pp. 178–182.
ML-1991-MurphyP #induction: Constructive Induction of M-of-N Terms (PMM, MJP), pp. 183–187.
ML-1991-SuttonM #learning #polynomial: Learning Polynomial Functions by Feature Construction (RSS, CJM), pp. 208–212.
ML-1991-TowellCS #induction #knowledge-based #network: Constructive Induction in Knowledge-Based Neural Networks (GGT, MC, JWS), pp. 213–217.
ML-1991-WatanabeR: Feature Construction in Structural Decision Trees (LW, LAR), pp. 218–222.
ML-1991-YangRB #case study #comparative: Fringe-Like Feature Construction: A Comparative Study and a Unifying Scheme (DSY, LAR, GB), pp. 223–227.
ML-1991-Yeung #approach #induction #network: A Neural Network Approach to Constructive Induction (DYY), pp. 228–232.
LOPSTR-1991-MiglioliMO #specification #synthesis: Program Specification and Synthesis in Constructive Formal Systems (PM, UM, MO), pp. 13–26.
LOPSTR-1991-WigginsBKH #induction #logic programming #proving #source code #synthesis: Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof (GAW, AB, IK, JH), pp. 27–45.
PLILP-1991-GrahamK #functional #imperative: Domesticating Imperative Constructs So That They Can Live in a Functional World (TCNG, GK), pp. 51–62.
PLILP-1991-Vollmer #case study #compilation #experience #logic programming #performance: Experiences with Gentle: Efficient Compiler Construction Based On Logic Programming (JV), pp. 425–426.
POPL-1991-ChoiCF #automation #data flow #evaluation #graph: Automatic Construction of Sparse Data Flow Evaluation Graphs (JDC, RC, JF), pp. 55–66.
ICSE-1991-GorlickR #analysis #using: Using Weaves for Software Construction and Analysis (MMG, RRR), pp. 23–34.
CSL-1991-Troelstra #formal method: Comparing the Theory of Representations and Constructive Mathematics (AST), pp. 383–395.
ICLP-1991-JayaramanN #implementation #logic programming: Implementation Techniques for Scoping Constructs in Logic Programming (BJ, GN), pp. 871–886.
LICS-1991-Audebaud #calculus: Partial Objects in the Calculus of Constructions (PA), pp. 86–95.
LICS-1991-Pfenning #anti #calculus #unification: Unification and Anti-Unification in the Calculus of Constructions (FP), pp. 74–85.
LICS-1991-Stuckey #constraints #logic programming: Constructive Negation for Constraint Logic Programming (PJS), pp. 328–339.
DAC-1990-LinD: Performance-Driven Constructive Placement (IL, DHCD), pp. 103–106.
PODS-1990-FeketeLW #graph #transaction: A Serialization Graph Construction for Nested Transactions (AF, NAL, WEW), pp. 94–108.
ESOP-1990-Voronkov #formal method #logic #programming #towards: Towards the Theory of Programming in Constructive Logic (AV), pp. 421–435.
PLDI-1990-LeeB #optimisation #source code: Optimizing Programs over the Constructive Reals (VALJ, HJB), pp. 102–111.
STOC-1990-Mulmuley #diagrams #order: Output Sensitive Construction of Levels and Voronoi Diagrams in R^d of Order 1 to k (KM), pp. 322–330.
STOC-1990-NaorN #performance #probability: Small-bias Probability Spaces: Efficient Constructions and Applications (JN, MN), pp. 213–223.
ICALP-1990-ColeGO #diagrams #parallel #performance: Merging Free Trees in Parallel for Efficient Voronoi Diagram Construction (Preliminary Version) (RC, MTG, CÓ), pp. 432–445.
ICALP-1990-Geffert #nondeterminism: Nondeterministic Computations in Sublogarithmic Space and Space Constructibility (VG), pp. 111–124.
ICALP-1990-GuibasKS #diagrams #incremental #random: Randomized Incremental Construction of Delaunay and Voronoi Diagrams (LJG, DEK, MS), pp. 414–431.
GG-1990-Boer90a #sequence: Construction of Map OL-Systems for Developmental Sequences of Plant Cell Layers (MJMdB), pp. 127–143.
CHI-1990-BockerH #named: Track — a trace construction kit (HDB, JH), pp. 415–422.
CAiSE-1990-DunnO #concept #interpreter #natural language: A Natural Language Interpreter for Construction of Conceptual Schemas (LD, MEO), pp. 175–194.
ML-1990-Hume #induction #learning: Learning Procedures by Environment-Driven Constructive Induction (DVH), pp. 113–121.
SIGIR-1990-BooksteinK #graph: Construction of Optimal Graphs for Bit-Vector Compression (AB, STK), pp. 327–342.
SIGIR-1990-KimotoI #information retrieval: Construction of a Dynamic Thesaurus and its Use for Associated Information Retrieval (HK, TI), pp. 227–240.
OOPSLA-ECOOP-1990-IshikawaTM #constraints #design #object-oriented #realtime: Object-Oriented Real-Time Language Design: Constructs for Timing Constraints (YI, HT, CWM), pp. 289–298.
ICSE-1990-Kishida #aspect-oriented: Technology Transfer Aspects of Environment Construction (KK), p. 336.
WAGA-1990-Waite #attribute grammar #compilation: Use of Attribute Grammars in Compiler Construction (WMW), pp. 255–265.
CC-1990-GroschE #compilation: A Tool Box for Compiler Construction (JG, HE), pp. 106–116.
CADE-1990-AltucherP #category theory #proving: A Mechanically Assisted Constructive Proof in Category Theory (JAA, PP), pp. 500–513.
CAV-1990-MadelaineV #algebra #automaton #process: Finiteness Conditions and Structural Construction of Automata for All Process Algebras (EM, DV), pp. 353–363.
CLP-1990-HodasM90 #logic programming #representation: Representing Objects in a Logic Programming Langueage with Scoping Constructs (JSH, DM), pp. 511–526.
CLP-1990-PareschiM90 #definite clause grammar: Extending Definite Clause Grammars with Scoping Constructs (RP, DM), pp. 373–389.
CLP-1990-SawamuraMYO90 #approach #logic #logic programming #proving #specification: A Logic Programming Approach to Specifying Logics and Constructing Proofs (HS, TM, KY, KO), pp. 405–424.
LICS-1990-MurthyR #proving: A Constructive Proof of Higman’s Lemma (CRM, JRR), pp. 257–267.
NACLP-1990-Lobo #logic programming #on the #source code: On Constructive Negation for Disjunctive Logic Programs (JL), pp. 704–718.
PLDI-1989-Venkatesh #evaluation #framework #program analysis #specification: A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques (GAV), pp. 1–12.
STOC-1989-CookU #functional: Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract) (SAC, AU), pp. 107–112.
STOC-1989-DolevS #bound #concurrent: Bounded Concurrent Time-Stamp Systems Are Constructible (DD, NS), pp. 454–466.
FPCA-1989-Takayama #performance #proving #source code: Extended Projection — New Method to Extract Efficient Programs from Constructive Proofs (YT), pp. 299–312.
CHI-1989-FischerMM #design: Design environments for constructive and argumentative design (GF, RM, AIM), pp. 269–275.
CAiSE-1989-Kangassalo #concept #modelling #named: COMIC: A System for Conceptual Modelling and Information Construction (HK).
ML-1989-DrastalMR #fault #induction: Error Correction in Constructive Induction (GD, RM, SR), pp. 81–83.
ML-1989-Mehra #framework #induction: Constructive Induction Framework (PM), pp. 474–475.
ML-1989-MohanT #algorithm #automation: Automatic Construction of a Hierarchical Generate-and-Test Algorithm (SM, CT), pp. 483–484.
ML-1989-RaedtB #induction: Constructive Induction by Analogy (LDR, MB), pp. 476–477.
ML-1989-Rendell #induction: Comparing Systems and analyzing Functions to Improve Constructive Induction (LAR), pp. 461–464.
ML-1989-ZhangM #learning: A Description of Preference Criterion in Constructive Learning: A Discussion of Basis Issues (JZ, RSM), pp. 17–19.
OOPSLA-1989-MaloneyBF #constraints #interface: Constraint Technology fur User-Interface Construction in ThingLab II (JM, AB, BNFB), pp. 381–388.
POPL-1989-Paulin-Mohring #calculus #proving #source code: Extracting Fω’s Programs from Proofs in the Calculus of Constructions (CPM), pp. 89–104.
LICS-1989-Luo #calculus: ECC, an Extended Calculus of Constructions (ZL), pp. 386–395.
NACLP-1989-Chan: An Extension of Constructive Negation and its Application in Coroutining (DC), pp. 477–493.
NACLP-1989-ChenKW #first-order #higher-order #logic programming #named #semantics: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs (WC, MK, DSW), pp. 1090–1114.
NACLP-1989-DevilleB #logic programming #source code #towards: Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs (YD, JB), pp. 409–425.
NACLP-1989-Przymusinski #logic programming #on the: On Constructive Negation in Logic Programming (TCP).
DAC-1988-Cai88a #layout: Connectivity Biased Channel Construction and Ordering for Building-Block Layout (HC), pp. 560–565.
SIGMOD-1988-GyssensG #algebra #programming #relational #set: The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra (MG, DVG), pp. 225–232.
ESOP-1988-BretzE #exception #functional: An Exception Handling Construct for Functional Languages (MB, JE), pp. 160–174.
STOC-1988-Istrail #polynomial #sequence #traversal: Polynomial Universal Traversing Sequences for Cycles Are Constructible (Extended Abstract) (SI), pp. 491–503.
ICALP-1988-MehlhornY #how #theorem: Constructive Hopf’s Theorem: Or How to Untangle Closed Planar Curves (KM, CKY), pp. 410–423.
LFP-1988-Roylance: Expressing Mathematical Subroutines Constructively (GR), pp. 8–13.
SIGIR-1988-Crouch #approach #clustering: A Cluster-Based Approach to Thesaurus Construction (CJC), pp. 309–320.
ICSE-1988-KishidaKMMOSSTW #approach #design #named #novel: SDA: A Novel Approach to Software Environment Design and Construction (KK, TK, MM, IM, KO, NS, JHS, KT, LGW), pp. 69–79.
CCHSC-1988-Penjam #compilation #object-oriented: Compiler Construction by Object-Oriented System Nut (JP), pp. 66–80.
CSL-1988-SchonfeldS #integration: Integration of Descriptive and Procedural Language Constructs (WS, WS), pp. 344–356.
JICSCP-1988-Chan88 #database: Constructive Negation Based on the Completed Database (DC), pp. 111–125.
JICSCP-1988-FooRTW88 #deduction: Deduced Relevant Types and Constructive Negation (NYF, ASR, AT, AW), pp. 126–139.
LICS-1988-Ehrhard #category theory #semantics: A Categorical Semantics of Constructions (TE), pp. 264–273.
DAC-1987-FaroughiS #algorithm #array: An Improved Systematic Method for Constructing Systolic Arrays from Algorithms (NF, MAS), pp. 26–34.
DAC-1987-GirczycL #design #mvc #named #smalltalk: STEM: An IC Design Environment Based on the Smalltalk Model-View-Controller Construct (EFG, TAL), pp. 757–763.
SIGMOD-1987-RichardsonC #database #implementation #programming: Programming Constructs for Database System Implementation in EXODUS (JER, MJC), pp. 208–219.
VLDB-1987-CooperADA #database #persistent: Constructing Database Systems in a Persistent Environment (RC, MPA, AD, DA), pp. 117–125.
PLDI-1987-Boehm #source code: Constructive real interpretation of numerical programs (HJB), pp. 214–221.
PLDI-1987-HarrES #documentation: Interpreting ABF — a language for document construction (HH, MWE, JS), pp. 205–213.
STOC-1987-PelegU #graph: Constructing Disjoint Paths on Expander Graphs (Extended Abstract) (DP, EU), pp. 264–273.
ICALP-1987-LandauSV #parallel: Parallel Construction of a Suffix Tree (Extended Abstract) (GML, BS, UV), pp. 314–325.
ECOOP-1987-Coutaz #paradigm #user interface: The Construction of User Interfaces and the Object Paradigm (JC), pp. 121–130.
OOPSLA-1987-Rumbaugh #object-oriented #semantics: Relations as Semantic Constructs in an Object-Oriented Language (JER), pp. 466–481.
ICLP-1987-KanamoriH87 #logic programming #source code: Construction of Logic Programs Based on Generalized Unfold/Fold Rules (TK, KH), pp. 744–768.
ICLP-1987-MorishitaNH87 #logic programming: Symbolical Construction of Truth Value Domain for Logic Program (SM, MN, SH), pp. 533–555.
LICS-1987-ConstableS #type system: Partial Objects In Constructive Type Theory (RLC, SFS), pp. 183–193.
RTA-1987-Benois #algorithm #automaton #complexity #regular expression #term rewriting: Descendants of Regular Language in a Class of Rewriting Systems: Algorithm and Complexity of an Automata Construction (MB), pp. 121–132.
SLP-1987-SannellaW87 #calculus #composition #prolog #source code: A Calculus for the Construction of Modular Prolog Programs (DS, LAW), pp. 368–378.
SIGMOD-1986-Motro #query: Constructing Queries from Tokens (AM), pp. 120–131.
STOC-1986-Seidel: Constructing Higher-Dimensional Convex Hulls at Logarithmic Cost per Face (RS), pp. 404–413.
CRAI-1986-Krieg-Bruckner #integration #verification: Integration of Program Construction and Verification: The PROSPECTRA Methodology (BKB), pp. 173–194.
OOPSLA-1986-Meyrowitz #architecture #framework #hypermedia #named #object-oriented: Intermedia: The Architecture and Construction of an Object-Oriented Hypermedia System and Applications Framework (NKM), pp. 186–201.
CADE-1986-Huet #proving: Mechanizing Constructive Proofs (Abstract) (GPH), p. 403.
LICS-1986-Mohring #algorithm #calculus #development: Algorithm Development in the Calculus of Constructions (CM), pp. 84–91.
SLP-1986-SterlingB86 #incremental: Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction (LS, RDB), pp. 20–27.
DAC-1985-ChowdhuryB: The construction of minimal area power and ground nets for VLSI circuits (SUC, MAB), pp. 794–797.
DAC-1985-MeshkinpourE #design #functional: A functional language for description and design of digital systems: sequential constructs (FM, MDE), pp. 238–244.
STOC-1985-KarpUW #random: Constructing a Perfect Matching is in Random NC (RMK, EU, AW), pp. 22–32.
FPCA-1985-Dybjer85 #logic #verification: Program Verification in a Logical Theory of Constructions (PD), pp. 334–349.
SLP-1985-OKeefe85a #algebra #logic programming #source code #towards: Towards an Algebra for Constructing Logic Programs (RAO), pp. 152–160.
DAC-1984-WardleWWMN #approach #declarative #design: A declarative design approach for combining macrocells by directed placement and constructive routing (CLW, CRW, CAW, JCM, BJN), pp. 594–601.
STOC-1984-FranzblauK #algorithm #generative #independence #set: An Algorithm for Constructing Regions with Rectangles: Independence and Minimum Generating Sets for Collections of Intervals (DSF, DJK), pp. 167–174.
ICSE-1984-BidoitBGGG #exception #specification: Exception Handling: Formal Specification and Systematic Program Construction (MB, BB, MCG, CG, GDG), pp. 18–29.
ICALP-1983-Dehne #algorithm #diagrams #nearest neighbour #on the: On O(N^4) Algorithm to Construct all Voronoi Diagrams for k Nearest Neighbor Searching (FKHAD), pp. 160–172.
ICALP-1983-JouannaudKK #algorithm #equation #incremental #unification: Incremental Construction of Unification Algorithms in Equational Theories (JPJ, CK, HK), pp. 361–373.
DAC-1982-Leinwand #correctness #logic: Logical correctness by construction (SML), pp. 825–831.
SCC-1982-KoskimiesRS #attribute grammar #compilation #using: Compiler Construction Using Attribute Grammars (KK, KJR, MS), pp. 153–159.
LFP-1982-Wise #data-driven #parallel #prolog: A Parallel Prolog: The Construction of a Data Driven Model (MJW), pp. 56–66.
ICSE-1982-Bauer #reasoning #specification: From Specifications to Machine Code: Program Construction through Formal Reasoning (FLB), pp. 84–93.
CADE-1982-Goad #automation #source code: Automatic Construction of Special Purpose Programs (CG), pp. 194–208.
ILPC-1982-Abramson82: Unification-based Conditional Binding Constructs (HA), pp. 182–186.
SIGMOD-1981-MotroB: Constructing Superviews (AM, PB), pp. 56–64.
ICALP-1981-MoriconiS #automation #generative #hoare #logic #verification: Automatic Construction of Verification Condition Generators From Hoare Logics (MM, RLS), pp. 363–377.
PS-1981-StaunstrupG #geometry: Geometrical Constructions (JS, JAG), pp. 25–46.
ICALP-1980-Mosses #approach #compilation #correctness: A Constructive Approach to Compiler Correctness (PDM), pp. 449–469.
ICALP-1980-SchmidtS: An Improved Program for Constructing Open Hash Tables (JPS, ES), pp. 569–581.
LISP-1980-Cartwright #axiom #data type: A Constructive Alternative to Axiomatic Data Type Definitions (RC), pp. 46–55.
SDCG-1980-Mosses #approach #compilation #correctness: A constructive approach to compiler correctness (PDM), pp. 189–210.
SCC-1979-HansenSC #compilation #multi #pascal: Construction of a transportable, multi-pass compiler for extended Pascal (GJH, GAS, JDC), pp. 117–126.
ICALP-1979-SethiT #call-by #continuation #semantics: Constructing Call-by-Value Continuation Semantics (RS, AT), pp. 556–570.
ICALP-1979-SippuS #ll #on the #parsing: On Constructing LL(k) Parsers (SS, ESS), pp. 585–595.
ICALP-1979-Ukkonen #bottom-up #lr #parsing: A Modification of the LR(k) Method for Constructing Compact Bottom-Up Parsers (EU), pp. 646–658.
ICSE-1979-Laventhal #approach #reliability: A Constructive Approach to Reliable Synchronization Code (MSL), pp. 194–202.
DAC-1978-Yessios #3d: A notation and system for 3-D constructions (CIY), pp. 125–132.
ICALP-1978-Saarinen #attribute grammar #on the #performance: On Constructing Efficient Evaluators for Attribute Grammars (MS), pp. 382–397.
GG-1978-EhrichL #data type #specification: Constructive Specifications of Abstract Data Types by Replacements (HDE, VGL), pp. 180–191.
SIGMOD-1977-Schmidt: Some High-level Language Constructs for Data of Type Relation (Abstract) (JWS), p. 9.
POPL-1977-Clarke #axiom #hoare #programming language: Programming Language Constructs for Which it is Impossible to Obtain “Good” Hoare-Like Axiom Systems (EMC), pp. 10–20.
POPL-1977-CousotC #abstract interpretation #approximate #fixpoint #source code #static analysis: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints (PC, RC), pp. 238–252.
SIGMOD-1976-Sharman #normalisation: A Constructive Definition of Third Normal Form (GCHS), pp. 91–99.
ICALP-1976-Leeuwen #on the: On the Construction of Huffman Trees (JvL), pp. 382–410.
DIPL-1976-Jackson #composition #parallel: Parallel processing and modular software construction (KJ), pp. 436–443.
POPL-1976-LaLonde #lr #on the #parsing #reduction: On Directly Constructing LR(k) Parsers Without Chain Reductions (WRL), pp. 127–133.
POPL-1976-Summers #lisp: A Methodology for Lisp Program Construction from Examples (PDS), pp. 68–76.
ICSE-1976-WulfLS #source code #verification: An Introduction to the Construction and Verification of Alphard Programs (Abstract) (WAW, RLL, MS), p. 390.
STOC-1975-Cook #calculus #proving: Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version) (SAC), pp. 83–97.
STOC-1974-Millen #parallel: Construction with Parallel Derivatives of the Closure of a Parallel Program Schema (JKM), pp. 242–247.
STOC-1973-Pager #algorithm #lr #parsing: The Lane Tracing Algorithm for Constructing LR(k) Parsers (DP), pp. 172–181.
SIGIR-1973-SaltonY #effectiveness #information retrieval #on the: On the Construction of Effective Vocabularies for Information Retrieval (GS, CTY), pp. 48–60.
STOC-1969-Korenjak #lr #performance: Efficient LR(1) Processor Construction (AJK), pp. 191–200.