BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (119)
model (116)
base (106)
program (95)
use (85)

Stem construct$ (all stems)

1115 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.