Stem exampl$ (all stems)

363 papers:

CASE-2015-ForsmanR #process

Chemical process control practice — Some examples and observations (KF, JR), pp. 892–893.

VLDB-2015-LiCM #approach #data-driven #query

Query From Examples: An Iterative, Data-Driven Approach to Query Construction (HL, CYC, DM), pp. 2158–2169.

ICSME-2015-Balachandran #query #repository #scalability

Query by example in large-scale code repositories (VB), pp. 467–476.

PEPM-2015-VinayakaraoPN #source code

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources (VV, RP, AVN), pp. 21–26.

PLDI-2015-BarowyGHZ #named #relational #spreadsheet #using

FlashRelate: extracting relational data from semi-structured spreadsheets using examples (DWB, SG, TH, BGZ), pp. 218–228.

PLDI-2015-FeserCD #data type

Synthesizing data structure transformations from input-output examples (JKF, SC, ID), pp. 229–239.

PLDI-2015-LeungSL #interactive #parsing #synthesis

Interactive parser synthesis by example (AL, JS, SL), pp. 565–574.

PLDI-2015-OseraZ #synthesis

Type-and-example-directed program synthesis (PMO, SZ), pp. 619–630.

GCM-2015-MackieS #evaluation #interactive #parallel

Parallel Evaluation of Interaction Nets: Some Observations and Examples (IM, SS), pp. 50–65.

CHI-2015-HouL #effectiveness #social #social media

Social Media Effectiveness for Public Engagement: Example of Small Nonprofits (YH, CL), pp. 3107–3116.

DUXU-UI-2015-LiHF #quality #requirements #scalability #user interface #using

Scaling Preferences of Different Stakeholders — Using the Example of Prioritizing Quality Requirements on User Interface Texts (YL, TH, PF), pp. 75–86.

SIGIR-2015-HarveyHE #learning #query

Learning by Example: Training Users with High-quality Query Suggestions (MH, CH, DE), pp. 133–142.

ESEC-FSE-2015-PhamSS #automation #developer #recommendation

Automatically recommending test code examples to inexperienced developers (RP, YS, KS), pp. 890–893.

ICSE-v2-2015-LeeKW0 #design

Software Design Studio: A Practical Example (JL, GK, JW, CB), pp. 389–397.

SLE-2015-Lopez-Fernandez #validation #visual notation

Example-based validation of domain-specific visual languages (JJLF, EG, JdL), pp. 101–112.

CAV-2015-SinghG #predict #programming

Predicting a Correct Program in Programming by Example (RS, SG), pp. 398–414.

SIGMOD-2014-DimitriadouPD #automation #data analysis #framework #interactive #named #query

Explore-by-example: an automatic query steering framework for interactive data exploration (KD, OP, YD), pp. 517–528.

SIGMOD-2014-ShenCCDN #query #tuple

Discovering queries based on example tuples (YS, KC, SC, BD, LN), pp. 493–504.

VLDB-2014-MottinLVP #query #what

Exemplar Queries: Give me an Example of What You Need (DM, ML, YV, TP), pp. 365–376.

ICSME-2014-Ghafari #testing

Extracting Code Examples from Unit Test Cases (MG), p. 667.

ICSME-2014-ZhuZXJL0 #api #mining

Mining API Usage Examples from Test Code (ZZ, YZ, BX, YJ, ZL, LZ), pp. 301–310.

SCAM-2014-RahmanR14a #exception #on the #recommendation

On the Use of Context in Recommending Exception Handling Code Examples (MMR, CKR), pp. 285–294.

PLDI-2014-LeG #framework #named

FlashExtract: a framework for data extraction by examples (VL, SG), p. 55.

DLT-J-2013-GocRRS14 #automation #on the #word

On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving) (DG, NR, MR, PS), pp. 1097–1110.

LATA-2014-MazadiGZ #pattern matching

Distinguishing Pattern Languages with Membership Examples (ZM, ZG, SZ), pp. 528–540.

CHI-2014-HarbachHWS #communication #privacy #security #using

Using personal examples to improve risk communication for security & privacy decisions (MH, MH, SW, MS), pp. 2647–2656.

DHM-2014-ButlewskiMC #development #safety

Non-financial Factors of Job Satisfaction in the Development of a Safety Culture Based on Examples from Poland and Romania (MB, AM, RC), pp. 577–587.

DUXU-ELAS-2014-MedeirosJG #learning #memory management #named #student

Logograms: Memory Aids for Learning, and an Example with Hearing-Impaired Students (LM, MBJ, LVG), pp. 207–216.

HCI-TMT-2014-Fross #architecture

Ergonomics in the Practice of Project Architect on Selected Examples (KF), pp. 77–85.

HIMI-DE-2014-ChangT #case study

A Study of the Factors Affecting Product Values and Preferences-Using Vacuum Cleaner as an Example (WcC, HyT), pp. 561–571.

ICPR-2014-RiabchenkoKC #generative #learning #modelling

Learning Generative Models of Object Parts from a Few Positive Examples (ER, JKK, KC), pp. 2287–2292.

ICPR-2014-RiabchenkoKC14a #detection

Density-Aware Part-Based Object Detection with Positive Examples (ER, JKK, KC), pp. 2814–2819.

SIGIR-2014-QianL0H

Co-training on authorship attribution with very fewlabeled examples: methods vs. views (TQ, BL, MZ, GH), pp. 903–906.

SIGIR-2014-WangSZZ

Active hashing with joint data example and tag selection (QW, LS, ZZ, NZ), pp. 405–414.

SKY-2014-FragaM #requirements

Systems Engineering Requirements: A Guided Example of an Applied Knowledge System (AF, JLM), pp. 19–30.

BX-2014-CheneyMSG #repository #towards

Towards a Repository of Bx Examples (JC, JM, PS, JG), pp. 87–91.

MoDELS-2014-BakiSCMF #learning #model transformation

Learning Implicit and Explicit Control in Model Transformations by Example (IB, HAS, QC, PM, MF), pp. 636–652.

MoDELS-2014-BakiSCMF #learning #model transformation

Learning Implicit and Explicit Control in Model Transformations by Example (IB, HAS, QC, PM, MF), pp. 636–652.

PLATEAU-2014-DornerFM #named

EUKLAS: Supporting Copy-and-Paste Strategies for Integrating Example Code (CD, AF, BAM), pp. 13–20.

QAPL-2014-Feng #distributed #hybrid #modelling #probability #using

Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE — ZebraNet as an Example (CF0), pp. 64–77.

SAC-2014-BoghratiHK #framework #process #using

Activities performed by programmers while using framework examples as a guide (RB, AH, MK), pp. 1146–1151.

FSE-2014-YingR #summary

Selection and presentation practices for code example summarization (ATTY, MPR), pp. 460–471.

ICSE-2014-KeivanlooRZ

Spotting working code examples (IK, JR, YZ), pp. 664–675.

ICSE-2014-ZayanAC #comprehension #empirical #using

Effects of using examples on structural model comprehension: a controlled experiment (DZ, MA, KC), pp. 955–966.

ASE-2013-LiRSDC #data flow #generative #named #source code

SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.

ASE-2013-ZhangS #automation #query #sql

Automatically synthesizing SQL queries from input-output examples (SZ, YS), pp. 224–234.

CASE-2013-NaikMRHB

An example of computing the failure-tolerant workspace area for a planar kinematically redundant robot (PSN, AAM, RGR, RCH, KMBG), pp. 306–311.

DATE-2013-MartinB #configuration management #integration

Configurable I/O integration to reduce system-on-chip time to market: DDR, PCIe examples (FM, PB), p. 169.

DATE-2013-ThomasMHMK

Configurability in IP subystems: baseband examples (PXT, GM, DH, DM, JK), pp. 163–168.

PODS-2013-AbouziedAPHS #learning #quantifier #query #verification

Learning and verifying quantified boolean queries by example (AA, DA, CHP, JMH, AS), pp. 49–60.

CSEET-2013-RibaudS #cost analysis #information management #learning #problem

The cost of problem-based learning: An example in information systems engineering (VR, PS), pp. 259–263.

WCRE-2013-MontandonBFV #api #framework #lessons learnt

Documenting APIs with examples: Lessons learned with the APIMiner platform (JEM, HB, DF, MTV), pp. 401–408.

SAS-2013-Roy #source code

From Concrete Examples to Heap Manipulating Programs (SR), pp. 126–149.

DUXU-CXC-2013-PlogmannJJR #development #evaluation #knowledge-based #risk management #using

Development and Evaluation of a Knowledge-Based Method for the Treatment of Use-Oriented and Technical Risks Using the Example of Medical Devices (SP, AJ, AJT, KR), pp. 452–461.

DUXU-CXC-2013-Wang13b #interactive

The Interactive Media between Human and the Sacred — An Example for Taiwanese Spiritual Practice (PFW), pp. 121–128.

HCI-AS-2013-KrauseB #information management #process #using

Subjective Ratings in an Ergonomic Engineering Process Using the Example of an In-Vehicle Information System (MK, KB), pp. 596–605.

HIMI-LCCB-2013-ChenL13a #design #industrial #information management

Strategic Study of Knowledge Management Which Led into Furniture Design Industry — Taking Example by Taiwan Furniture Industry (CHC, KHL), pp. 433–442.

OCSC-2013-LopezFM #behaviour

Being Example: A Different Kind of Leadership, Looking for Exemplary Behaviors (SRL, HMF, ASM), pp. 182–190.

ECIR-2013-BronBR #web

Example Based Entity Search in the Web of Data (MB, KB, MdR), pp. 392–403.

ICML-c1-2013-MenonTGLK #framework #machine learning #programming

A Machine Learning Framework for Programming by Example (AKM, OT, SG, BWL, AK), pp. 187–195.

ICML-c3-2013-LondonHTG #predict

Collective Stability in Structured Prediction: Generalization from One Example (BL, BH, BT, LG), pp. 828–836.

KDD-2013-ChenHKB #learning #named

DTW-D: time series semi-supervised learning from a single example (YC, BH, EJK, GEAPAB), pp. 383–391.

KDIR-KMIS-2013-VensVB #clustering

Semi-supervised Clustering with Example Clusters (CV, BV, HB), pp. 45–51.

ICMT-2013-FaunesSB #approach #model transformation

Genetic-Programming Approach to Learn Model Transformation Rules from Examples (MF, HAS, MB), pp. 17–32.

MoDELS-2013-FaunesCBSC #automation #metamodelling

Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.

MoDELS-2013-FaunesCBSC #automation #metamodelling

Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.

ICSE-2013-BakZCADWR #abstraction #modelling

Example-driven modeling: model = abstractions + examples (KB, DZ, KC, MA, ZD, AW, DR), pp. 1273–1276.

ICSE-2013-JacobellisMK #named #program transformation

LASE: an example-based program transformation tool for locating and applying systematic edits (JJ, NM, MK), pp. 1319–1322.

ICSE-2013-MengKM #learning #named

LASE: locating and applying systematic edits by learning from examples (NM, MK, KSM), pp. 502–511.

ASE-2012-FaunesSB #algorithm #generative #model transformation #using

Generating model transformation rules from examples using an evolutionary algorithm (MF, HAS, MB), pp. 250–253.

VLDB-2012-SinghG #learning #semantics #string

Learning Semantic String Transformations from Examples (RS, SG), pp. 740–751.

TACAS-2012-AbdullaACLR

Counter-Example Guided Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 204–219.

ICSM-2012-NasehiSMB #case study #programming #stack overflow #what

What makes a good code example?: A study of programming Q&A in StackOverflow (SMN, JS, FM, CB), pp. 25–34.

FM-2012-ZhaoZKL #approach #case study #hybrid #industrial

A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example (HZ, NZ, DK, KGL), pp. 471–485.

IFM-2012-RochaBCN #bound #comprehension #debugging #model checking #programming #using

Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples (HR, RSB, LCC, ADN), pp. 128–142.

IFL-2012-IonescuJ #modelling #programming

Dependently-Typed Programming in Scientific Computing — Examples from Economic Modelling (CI, PJ), pp. 140–156.

CHI-2012-ChangM #authoring #comprehension #named #reuse #web

WebCrystal: understanding and reusing examples in web authoring (KSPC, BAM), pp. 3205–3214.

CHI-2012-OneyB #documentation #editing #interactive #named

Codelets: linking interactive documentation and example code in the editor (SO, JB), pp. 2697–2706.

ICML-2012-LevineK

Continuous Inverse Optimal Control with Locally Optimal Examples (SL, VK), p. 65.

ICPR-2012-LiuLWZ #learning #linear

Locally linear embedding based example learning for pan-sharpening (QL, LL, YW, ZZ), pp. 1928–1931.

ICPR-2012-ZhangCC

Example-based contrast enhancement for portrait photograph (XZ, MC, KLC), pp. 943–946.

SIGIR-2012-WoodwardXN #automation #documentation #on the #web

On automatically tagging web documents from examples (NJW, WX, KN), pp. 1111–1112.

SIGIR-2012-XuO #email

Exploring example-based person search in email (TX, DWO), pp. 1067–1068.

MoDELS-2012-SaadaDHNS #generative #model transformation

Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.

MoDELS-2012-SaadaDHNS #generative #model transformation

Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.

ICSE-2012-BuseW #api

Synthesizing API usage examples (RPLB, WW), pp. 782–792.

CAV-2012-SinghG

Synthesizing Number Transformations from Input-Output Examples (RS, SG), pp. 634–651.

ICLP-2012-Drabent #logic

Logic + control: An example (WD), pp. 301–311.

ASE-2011-WangFWLXY #api #effectiveness #java #named #recommendation #web

APIExample: An effective web search based usage example recommendation system for java APIs (LW, LF, LW, GL, BX, FY), pp. 592–595.

DATE-2011-HashempourDTKHBX #fault #industrial #reduction #testing

Test time reduction in analogue/mixed-signal devices by defect oriented testing: An industrial example (HH, JD, BT, BK, CH, MvB, YX), pp. 371–376.

SIGMOD-2011-AlexeCKT #design

Designing and refining schema mappings via data examples (BA, BtC, PGK, WCT), pp. 133–144.

SIGMOD-2011-HoweCKB #ad hoc #automation #database #query

Automatic example queries for ad hoc databases (BH, GC, NK, LB), pp. 1319–1322.

VLDB-2011-AlexeCKT #design #interactive #named #refinement

EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples (BA, BtC, PGK, WCT), pp. 1414–1417.

CSEET-2011-HattoriBLL #game studies #learning

Erase and rewind — Learning by replaying examples (LH, AB, ML, ML), p. 558.

FASE-2011-KessentiniSBW #design #detection #fault #search-based

Search-Based Design Defects Detection by Example (MK, HAS, MB, MW), pp. 401–415.

ICPC-2011-KessentiniKSBO #design #detection #fault

Design Defects Detection and Correction by Example (MK, WK, HAS, MB, AO), pp. 81–90.

ICSM-2011-Roover #detection #logic #metaprogramming #object-oriented #source code

A logic meta-programming foundation for example-driven pattern detection in object-oriented programs (CDR), pp. 556–561.

PLDI-2011-HarrisG #spreadsheet

Spreadsheet table transformations from examples (WRH, SG), pp. 317–328.

PLDI-2011-MengKM #editing #generative #program transformation

Systematic editing: generating program transformations from an example (NM, MK, KSM), pp. 329–342.

IFL-2011-Page #testing #verification

Property-Based Testing and Verification: A Catalog of Classroom Examples (RP), pp. 134–147.

CHI-2011-KumarTAK #design #named #web

Bricolage: example-based retargeting for web design (RK, JOT, SA, SRK), pp. 2197–2206.

DUXU-v1-2011-DinetVB #community #design #difference #towards

Towards Future Methods to Take into Account Cross-Cultural Differences in Design: An Example with the “Expert Community Staff” (ECS) (JD, RV, EB), pp. 53–61.

HCI-DDA-2011-BreinerBRSMD #adaptation #automation #generative #modelling #runtime #user interface #workflow

Automatic Adaptation of User Workflows within Model-Based User Interface Generation during Runtime on the Example of the SmartMote (KB, KB, TR, MS, GM, PD), pp. 165–174.

HCI-ITE-2011-SpiesBLWBH #concept #development #industrial #metric

Measurement of Driver’s Distraction for an Early Prove of Concepts in Automotive Industry at the Example of the Development of a Haptic Touchpad (RS, AB, CL, MW, KB, WH), pp. 125–132.

HCI-MIIE-2011-ChiangT11a #behaviour #mobile #network #smarttech #social #twitter

The Effort of Social Networking on Social Behavior — Integrating Twitter, Mobile Devices, and Wearable Clothing as an Example (CWC, KT), pp. 30–37.

HCI-MIIE-2011-DambockKBB

The H-Metaphor as an Example for Cooperative Vehicle Driving (DD, MK, KB, HB), pp. 376–385.

HCI-UA-2011-KimuraF #communication #comprehension #design

Design of Communication Field for Leading to Satisfied Understanding: Example of High-Level Radioactive Waste Disposal in Japan (HK, MF), pp. 354–359.

CIKM-2011-SellamanickamGS #approach #learning #ranking

A pairwise ranking based approach to learning with positive and unlabeled examples (SS, PG, SKS), pp. 663–672.

ICML-2011-Scott #bound #classification

Surrogate losses and regret bounds for cost-sensitive classification with example-dependent costs (CS), pp. 153–160.

KDD-2011-CerratoJG #classification #generative

Classification of proxy labeled examples for marketing segment generation (DC, RJ, AG), pp. 343–350.

KEOD-2011-GuerreiroVT #data access #ontology #transaction

Dynamic Business Transactions Control — An Ontological Example: Organizational Access Control with DEMO (SG, AV, JMT), pp. 549–554.

SEKE-2011-XueJYPZ #industrial #scalability #variability

Scalability of Variability Management: An Example of Industrial Practice and Some Improvements (YX, SJ, PY, XP, WZ), pp. 705–710.

ECMFA-2011-DolquesDFHNP #automation #learning #model transformation

Easing Model Transformation Learning with Automatically Aligned Examples (XD, AD, JRF, MH, CN, FP), pp. 189–204.

Onward-2011-Barzilay

Example embedding (OB), pp. 137–144.

POPL-2011-Gulwani #automation #spreadsheet #string #using

Automating string processing in spreadsheets using input-output examples (SG), pp. 317–330.

ESEC-FSE-2011-BarzilayHY #developer #social #social media #using

Using social media to study the diversity of example usage among professional developers (OB, OH, AY), pp. 472–475.

ESEC-FSE-2011-MengKM #named #program transformation

Sydit: creating and applying a program transformation from an example (NM, MK, KSM), pp. 440–443.

PPoPP-2011-Ding #concurrent #parallel #programming

Two examples of parallel programming without concurrency constructs (PP-CC) (CD), pp. 299–300.

PODS-2010-AlexeKT

Characterizing schema mappings via data examples (BA, PGK, WCT), pp. 261–272.

ICSM-2010-NasehiM #api #testing

Unit tests as API usage examples (SMN, FM), pp. 1–10.

ICALP-v2-2010-GiacobazziR #abstraction

Example-Guided Abstraction Simplification (RG, FR), pp. 211–222.

CHI-2010-BrandtDWK #development #programming #web

Example-centric programming: integrating web search into the development environment (JB, MD, MW, SRK), pp. 513–522.

CHI-2010-LeeSKBK #design #interactive

Designing with interactive example galleries (BL, SS, RK, RIB, SRK), pp. 2257–2266.

ICEIS-AIDSS-2010-MokotoffGP #multi #normalisation #problem

Normalization Procedures on Multicriteria Decision Making — An Example on Environmental Problems (EM, EG, JP), pp. 206–211.

SEKE-2010-NakagawaTM #configuration management #testing

Software Configuration Management as a Crosscutting Concern: An Example on Software Testing (EYN, JVTT, JCM), pp. 628–633.

ECMFA-2010-KessentiniBSB #diagrams #heuristic #petri net #sequence chart #using

Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search (MK, AB, HAS, MB), pp. 156–172.

OOPSLA-2010-ArnoldL #ambiguity #programming

Managing ambiguity in programming by finding unambiguous examples (KCA, HL), pp. 877–884.

FSE-2010-BajracharyaOL #effectiveness #repository #retrieval #similarity

Leveraging usage similarity for effective retrieval of examples in code repositories (SKB, JO, CVL), pp. 157–166.

ICSE-2010-GrechanikFXMPC10a #execution #named

Exemplar: EXEcutable exaMPLes ARchive (MG, CF, QX, CM, DP, CMC), pp. 259–262.

CAV-2010-Rybalchenko #constraints #theorem proving #theory and practice #verification

Constraint Solving for Program Verification: Theory and Practice by Example (AR), pp. 57–71.

CSL-2010-Rybalchenko #constraints #theorem proving #theory and practice #verification

Constraint Solving for Program Verification: Theory and Practice by Example (AR), p. 51.

ICST-2010-AngelisPA #approach #testing

A Counter-Example Testing Approach for Orchestrated Services (FDA, AP, GDA), pp. 373–382.

WICSA-ECSA-2009-NakagawaBM #architecture #ontology #testing

Exploring ontologies to support the establishment of reference architectures: An example on software testing (EYN, EFB, JCM), pp. 249–252.

ASE-2009-KimLHK #documentation #java

Adding Examples into Java Documents (JK, SL, SwH, SK), pp. 540–544.

CASE-2009-VazquezS #markov #modelling #performance #petri net

Performance control of Markovian Petri nets via fluid models: A stock-level control example (CRV, MS), pp. 30–36.

ICDAR-2009-MiyaoM #adaptation #online #recognition #using

Writer Adaptation for Online Handwriting Recognition System Using Virtual Examples (HM, MM), pp. 1156–1160.

SIGMOD-2009-OlstonCS #data flow #generative #source code

Generating example data for dataflow programs (CO, SC, US), pp. 245–256.

VLDB-2009-ArasuCK #learning #string

Learning String Transformations From Examples (AA, SC, RK), pp. 514–525.

ITiCSE-2009-Stephenson #recursion #visual notation

Visual examples of recursion (BS), p. 400.

ICSM-2009-HolmesCWD #case study #source code

The end-to-end use of source code examples: An exploratory study (RH, RC, RJW, JD), pp. 555–558.

CHI-2009-HerringCKB #comprehension #design #exclamation #how #why

Getting inspired!: understanding how and why examples are used in creative design practice (SRH, CCC, JK, BPB), pp. 87–96.

CHI-2009-HirshfieldSGKJSF #adaptation #functional #interface #metric #testing #usability

Brain measurement for usability testing and adaptive interfaces: an example of uncovering syntactic workload with functional near infrared spectroscopy (LMH, ETS, AG, JK, RJKJ, AS, SF), pp. 2185–2194.

HCD-2009-LewisB #performance

Animated Demonstrations: Evidence of Improved Performance Efficiency and the Worked Example Effect (DL, AB), pp. 247–255.

HCD-2009-TeixeiraSFS #development #information management #process

The User’s Role in the Development Process of a Clinical Information System: An Example in Hemophilia Care (LT, VS, CF, BSS), pp. 922–931.

HCI-VAD-2009-BuzziBL

Accessing e-Learning Systems via Screen Reader: An Example (MCB, MB, BL), pp. 21–30.

HCI-VAD-2009-SaariTKKR #adaptation #game studies

Emotionally Adapted Games — An Example of a First Person Shooter (TS, MT, KK, IK, NR), pp. 406–415.

VISSOFT-2009-CottrellGHWD #source code #visual notation

Compare and contrast: Visual exploration of source code examples (RC, BG, RH, RJW, JD), pp. 29–32.

CIKM-2009-KatoOOT #query #relational #using #web

Query by analogical example: relational search using web search engine indices (MPK, HO, SO, KT), pp. 27–36.

ICML-2009-ZangZMI

Discovering options from example trajectories (PZ, PZ, DM, CLIJ), pp. 1217–1224.

MLDM-2009-BouthinonSV #ambiguity #concept #learning

Concept Learning from (Very) Ambiguous Examples (DB, HS, VV), pp. 465–478.

SIGIR-2009-PunithaJG #automation #feature model #multi #query #retrieval #topic #using #video

Topic prerogative feature selection using multiple query examples for automatic video retrieval (PP, JMJ, AG), pp. 804–805.

ICMT-2009-Garcia-MagarinoGF #algorithm #generative #model transformation

Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages (IGM, JJGS, RFF), pp. 52–66.

MoDELS-2009-BroschLSWWKRS #modelling #word

An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example (PB, PL, MS, KW, MW, GK, WR, WS), pp. 271–285.

MoDELS-2009-BroschLSWWKRS #modelling #word

An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example (PB, PL, MS, KW, MW, GK, WR, WS), pp. 271–285.

ESEC-FSE-2009-BruchMM #code completion #learning

Learning from examples to improve code completion systems (MB, MM, MM), pp. 213–222.

CAV-2009-Kim #performance #verification

Mixed-Signal System Verification: A High-Speed Link Example (JK), p. 16.

MBT-2009-KimHHK #concurrent #debugging #kernel #modelling #testing

Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay (MK, SH, CH, TK), pp. 21–36.

TestCom-FATES-2009-SteinertPBLH #debugging

Debugging into Examples (BS, MP, MB, JL, RH), pp. 235–240.

CASE-2008-AzarnasabHAF #case study #design

Progressive simulation-based design: A case study example on software defined radio (EA, XH, PA, BFB), pp. 394–399.

DAC-2008-BastaniKWC #learning #predict #set

Speedpath prediction based on learning from a small set of examples (PB, KK, LCW, EC), pp. 217–222.

HT-2008-HsiaoLL #authoring #education #social

Educational social linking in example authoring (IHH, QL, YLL), pp. 229–230.

HT-2008-YudelsonG #navigation #social

Providing social navigation within annotated examples (MY, NG), pp. 255–256.

SIGMOD-2008-TatemuraCLPCA #named #nondeterminism #query #web #web service

UQBE: uncertain query by example for web service mashup (JT, SC, FL, OP, KSC, DA), pp. 1275–1280.

VLDB-2008-Cohen #constraints #generative #using #xml

Generating XML structure using examples and constraints (SC), pp. 490–501.

ITiCSE-2008-BorstlerCBNWMC #object-oriented #source code

Evaluating OO example programs for CS1 (JB, HBC, JB, MN, LKW, JEM, MEC), pp. 47–52.

ICSM-2008-Hou #design #framework #learning

Investigating the effects of framework design knowledge in example-based framework learning (DH), pp. 37–46.

GT-VMT-2006-MinasH08 #graph transformation #programming

An Example of Cloning Graph Transformation Rules for Programming (MM, BH), pp. 241–250.

ICEIS-HCI-2008-StoitsevSFM08a #modelling #process #programming

Enabling end Users to Proactively Tailor Underspecified, Human-Centric Business Processes — “Programming by Example” of Weakly-Structured Process Models (TS, SS, FF, MM), pp. 38–46.

ICEIS-J-2008-StoitsevSFM08b #modelling #process #programming

Enabling End Users to Proactively Tailor Underspecified, Human-Centric Business Processes: “Programming by Example” of Weakly-Structured Process Models (TS, SS, FF, MM), pp. 307–320.

ICPR-2008-LambAM #image #repository #retrieval

An example based image retrieval system for the TRACE repository (RL, RAA, PM), pp. 1–4.

ICPR-2008-WatanabeIHY #algorithm #performance #reduction #using #video

A fast algorithm of video super-resolution using dimensionality reduction by DCT and example selection (KW, YI, TH, MY), pp. 1–5.

KDD-2008-JiangPLCH #mining

Mining preferences from superior and inferior examples (BJ, JP, XL, DWC, JH), pp. 390–398.

SEKE-2008-BahsoonE #mining

An Example on Economics-driven Software Mining (RB, WE), pp. 375–380.

SEKE-2008-Jannach #development #knowledge-based #recommendation

Knowledge-based System Development with Scripting Technology: A Recommender System Example (DJ), pp. 405–416.

SIGIR-2008-BalogWR #modelling #query

A few examples go a long way: constructing query models from elaborate query formulations (KB, WW, MdR), pp. 371–378.

SIGIR-2008-ChiaSLN #approach #documentation #retrieval

A lattice-based approach to query-by-example spoken document retrieval (TKC, KCS, HL, HTN), pp. 363–370.

SIGIR-2008-TanWC #detection #sentiment #using

Combining learn-based and lexicon-based techniques for sentiment detection without using labeled examples (ST, YW, XC), pp. 743–744.

SIGIR-2008-WuO #classification #topic

Bilingual topic aspect classification with a few training examples (YW, DWO), pp. 203–210.

SIGIR-2008-ZhangL #learning #multi

Learning with support vector machines for query-by-multiple-examples (DZ, WSL), pp. 835–836.

MoDELS-2008-RobbesL #program transformation

Example-Based Program Transformation (RR, ML), pp. 174–188.

MoDELS-2008-RobbesL #program transformation

Example-Based Program Transformation (RR, ML), pp. 174–188.

TOOLS-EUROPE-2008-StrommerW #concept #framework #model transformation #tool support

A Framework for Model Transformation By-Example: Concepts and Tool Support (MS, MW), pp. 372–391.

PPDP-2008-BenzakenCCM #programming #query #visual notation #xml

Pattern by example: type-driven visual programming of XML queries (VB, GC, DC, CM), pp. 131–142.

SAC-2008-CrassoZC #query #web #web service

Query by example for web services (MC, AZ, MC), pp. 2376–2380.

FSE-2008-DagenaisO #automation #framework

Automatically locating framework extension examples (BD, HO), pp. 203–213.

TAP-2008-ClaessenS #induction #proving

Finding Counter Examples in Induction Proofs (KC, HS), pp. 48–65.

ICDAR-2007-BeusekomKSB #documentation #image #logic

Example-Based Logical Labeling of Document Title Page Images (JvB, DK, FS, TMB), pp. 919–923.

VLDB-2007-ChaudhuriCGK #design #performance #query

Example-driven design of efficient record matching queries (SC, BCC, VG, RK), pp. 327–338.

TACAS-2007-JainKSC #abstraction #named #refinement

VCEGAR: Verilog CounterExample Guided Abstraction Refinement (HJ, DK, NS, EMC), pp. 583–586.

CSMR-2007-NierstraszKGLB #modelling #re-engineering

Example-Driven Reconstruction of Software Models (ON, MK, TG, ML, HB), pp. 275–286.

ICALP-2007-ODonnellW #approximate

Approximation by DNF: Examples and Counterexamples (RO, KW), pp. 195–206.

EDOC-2007-RychkovaRLW

From Business to IT with SEAM: The J2EE Pet Store Example (IR, GR, LSL, AW), pp. 495–502.

ICEIS-SAIC-2007-Silva #collaboration #using

Using Narratives in Collaborative Writing — An Example (NDS), pp. 351–358.

KDD-2007-ShengL #learning

Partial example acquisition in cost-sensitive learning (VSS, CXL), pp. 638–646.

SEKE-2007-VasileB #cost analysis #multi

Cost-based Analysis of Multiple Counter-Examples (FV, SB), pp. 33–38.

TOOLS-EUROPE-2007-GalliWN #testing

Composing Tests from Examples (MG, RW, ON), pp. 71–86.

SAC-2007-BonenfantCHMWW #cost analysis #towards

Towards resource-certified software: a formal cost model for time and its application to an image-processing example (AB, ZC, KH, GM, AMW, IW), pp. 1307–1314.

SAC-2007-VarroB #automation #induction #logic programming #model transformation #using

Automating model transformation by example using inductive logic programming (DV, ZB), pp. 978–984.

ITiCSE-2006-Bruce-LockhartN #embedded #interactive

Interactive embedded examples: a demonstration (MBL, TSN), p. 357.

ITiCSE-2006-Godejord #education #social #using

Exploring teacher methodology: using the example of sexual abuse of children as a way of teaching social informatics (PAG), p. 340.

DLT-2006-MenzelPS #graph

Some Examples of Semi-rational DAG Languages (JRM, LP, MS), pp. 351–362.

CHI-2006-McCurdyCPKV #prototype

Breaking the fidelity barrier: an examination of our current characterization of prototypes and an example of a mixed-fidelity success (MM, CC, GP, BK, AHV), pp. 1233–1242.

ICPR-v1-2006-TanakaHOK

Use of Viewpoint Information for Example Selection in CBIR (KT, MH, NO, EK), p. 1054.

SIGIR-2006-VidalSMC #crawling #generative

Structure-driven crawler generation by example (MLAV, ASdS, ESdM, JMBC), pp. 292–299.

MoDELS-2006-Varro #model transformation

Model Transformation by Example (DV), pp. 410–424.

MoDELS-2006-Varro #model transformation

Model Transformation by Example (DV), pp. 410–424.

SPL-BOOK-2006-ArciniegasDRCBO #architecture #evolution #product line #reasoning #security

Architecture Reasoning for Supporting Product Line Evolution: An Example on Security (JLA, JCD, JLR, RC, JBM, MO), pp. 327–372.

IJCAR-2006-Boldo #algorithm #float #proving

Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms (SB), pp. 52–66.

ICDAR-2005-MiyaoMNH #online #recognition

Off-Line Handwritten Character Recognition by SVM on the Virtual Examples Synthesized from On-Line Characters (HM, MM, YN, TH), pp. 494–498.

ICDAR-2005-ParkKK #image

An Example-based Prior Model for Text Image Super-resolution (JP, YK, JHK), pp. 374–378.

ITiCSE-2005-Fekete #education #sql #transaction

Teaching transaction management with SQL examples (AF), pp. 163–167.

ICSM-2005-MonteiroF #aspectj #java #refactoring

Refactoring a Java Code Base to AspectJ: An Illustrative Example (MPM, JMF), pp. 17–26.

IWPC-2005-Koskinen #tool support

HyperSoft System: Tool Demonstration and Use Example (JK), pp. 153–156.

ICEIS-v2-2005-MalhotraPJ #query #web

Synthesise Web Queries: Search the Web by Examples (VMM, SP, DJ), pp. 291–296.

SAC-2005-Ferrer-TroyanoAS #data type #incremental #learning

Incremental rule learning based on example nearness from numerical data streams (FJFT, JSAR, JCRS), pp. 568–572.

ESEC-FSE-2005-ErfurthR #named

UPEX: user participation by example (IE, WR), pp. 374–376.

ESEC-FSE-2005-HolmesWM #recommendation

Strathcona example recommendation tool (RH, RJW, GCM), pp. 237–240.

GTTSE-2005-BravenboerGV #domain-specific language #stratego #using

MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT (MB, RdG, EV), pp. 297–311.

ICSE-2005-HolmesM #recommendation #source code #using

Using structural context to recommend source code examples (RH, GCM), pp. 117–125.

RTA-2005-Felty #approach #semantics #tutorial

A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code (APF), pp. 394–406.

TLCA-2005-Felty #approach #semantics #tutorial

A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract (APF), p. 10.

DATE-v1-2004-BjesseK #abstraction #debugging #refinement #using

Using Counter Example Guided Abstraction Refinement to Find Complex Bugs (PB, JHK), pp. 156–161.

CSCW-2004-SchankH #collaboration #modelling #uml

Collaborative modeling: hiding UML and promoting data examples in NEMo (PKS, LH), pp. 574–577.

ICEIS-v3-2004-MarinBSM #process #re-engineering #requirements

Requirements Engineering for the Business Process Re-Engineering: An Example in the Agro-Food Supply Chain (FM, PB, FS, LM), pp. 538–542.

ICEIS-v3-2004-McNeileS #behaviour #mixin #modelling #state machine

Mixin Based Behaviour Modelling — An Example Based on Composed State Machines (ATM, NS), pp. 179–183.

ICEIS-v5-2004-IsaevN

E-Library Technical Solution: An Example of ETU “LETI” (YI, AN), pp. 285–288.

SAC-2004-Bardram #design

Applications of context-aware computing in hospital work: examples and design principles (JB), pp. 1574–1579.

SAC-2004-LechnerS #concept #modelling #named #reuse #web

Trasformers-by-example: pushing reuse in conceptual web application modelling (SL, MS), pp. 1654–1661.

ICDAR-2003-EglinB #classification #documentation #layout #query #similarity #visual notation

Document page similarity based on layout visual saliency: Application to query by example and document classification (VE, SB), pp. 1208–1212.

TACAS-2003-AlurDI #abstraction #hybrid

Counter-Example Guided Predicate Abstraction of Hybrid Systems (RA, TD, FI), pp. 208–223.

TACAS-2003-GurfinkelC #proving

Proof-Like Counter-Examples (AG, MC), pp. 160–175.

ICEIS-v1-2003-LeopoldP #distributed #enterprise #framework #named #query

CQServer: An Example of Applying a Distributed Object Infrastructure for Heterogeneous Enterprise Computation of Continual Queries (JLL, TP), pp. 313–320.

ICML-2003-GeibelW #learning

Perceptron Based Learning with Example Dependent and Noisy Costs (PG, FW), pp. 218–225.

ICML-2003-LeeL #learning #using

Learning with Positive and Unlabeled Examples Using Weighted Logistic Regression (WSL, BL), pp. 448–455.

ICML-2003-WinnerV #learning #named

DISTILL: Learning Domain-Specific Planners by Example (EW, MMV), pp. 800–807.

ICML-2003-YamadaSYT #data-driven #database #induction #standard

Decision-tree Induction from Time-series Data Based on a Standard-example Split Test (YY, ES, HY, KT), pp. 840–847.

MLDM-2003-DehmeshkiKC #rule-based #set

A Rule-Based Scheme for Filtering Examples from Majority Class in an Imbalanced Training Set (JD, MK, MVC), pp. 215–223.

SEKE-2003-ChapinK #data mining #metric #mining #re-engineering

Validative measurement in software engineering: a data mining example (NC, MKM), pp. 626–633.

SAC-2003-MernikGZB #parsing #question

Can a Parser be Generated from Examples? (MM, GG, VZ, BRB), pp. 1063–1067.

SAC-2003-VuHJ #effectiveness #image #retrieval

Improving Image Retrieval Effectiveness in Query-by-Example Environment (KV, KAH, NJ), pp. 774–781.

STOC-2002-Ben-Sasson02a #bound

Hard examples for bounded depth frege (EBS), pp. 563–572.

ICML-2002-OatesDB #context-free grammar #learning

Learning k-Reversible Context-Free Grammars from Positive Structural Examples (TO, DD, VB), pp. 459–465.

ICPR-v1-2002-HaroE #learning #video

Learning Video Processing by Example (AH, IAE), pp. 487–491.

ICPR-v2-2002-KherfiZB #feedback #image #learning #retrieval

Learning from Negative Example in Relevance Feedback for Content-Based Image Retrieval (MLK, DZ, AB), pp. 933–936.

ICPR-v2-2002-Lashkia #learning

Learning with Relevant Features and Examples (GVL), pp. 68–71.

KDD-2002-YuHC #classification #learning #named #using #web

PEBL: positive example based learning for Web page classification using SVM (HY, JH, KCCC), pp. 239–248.

SIGIR-2002-SchmittCS #automation #generative #named

ExWrap: semi-automatic wrapper generation by example (BS, MC, JS), p. 452.

SIGIR-2002-WangCB

Example-based phrase translation in Chinese-English CLIR (BW, XC, SB), pp. 435–436.

VLDB-2001-MorishimaKKT #approach #data-driven #repository #xml

Enabling End-users to Construct Data-intensive Web-sites from XML Repositories: An Example-based Approach (AM, SK, HK, ST), pp. 703–704.

TACAS-2001-PasareanuDV #java #model checking #source code

Finding Feasible Counter-examples when Model Checking Abstracted Java Programs (CSP, MBD, WV), pp. 284–298.

ICEIS-v2-2001-Serbedzija #education #internet #programming

Internet Programming: Teaching by Examples (NBS), pp. 996–1001.

CIKM-2001-GolgherSLR

Bootstrapping for Example-Based Data Extraction (PBG, ASdS, AHFL, BARN), pp. 371–378.

MLDM-2001-Krawiec #comparison #learning #on the #visual notation

On the Use of Pairwise Comparison of Hypotheses in Evolutionary Learning Applied to Learning from Visual Examples (KK), pp. 307–321.

TOOLS-USA-2001-MitchellM #contract #design

Design by Contract, By Example (RM, JCM), pp. 430–431.

ITiCSE-2000-DavidovicWT #adaptation

Structural example-based adaptive tutoring system (poster session) (SEATS) (AD, JW, ET), p. 187.

ITiCSE-2000-Ginat

Colorful examples for elaborating exploration of regularities in high-school CS1 (DG), pp. 81–84.

WLC-2000-KoshibaH #consistency

A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples (TK, KH), pp. 253–265.

ICML-2000-TodorovskiDSWG #behaviour #difference #equation

Discovering the Structure of Partial Differential Equations from Example Behaviour (LT, SD, AS, JPW, DG), pp. 991–998.

ICML-2000-TowellPM #learning

Learning Priorities From Noisy Examples (GGT, TP, MRM), pp. 1031–1038.

ICPR-v4-2000-AssfalgBP #image #retrieval

Image Retrieval by Positive and Negative Examples (JA, ADB, PP), pp. 4267–4270.

ICPR-v4-2000-LuminiM #database #image #named

Haruspex: An Image Database System for Query-by-Examples (AL, DM), pp. 4258–4261.

SIGIR-2000-ManevitzY #classification #documentation #network #using

Document classification on neural networks using only positive examples (LMM, MY), pp. 304–306.

TOOLS-EUROPE-2000-Daniels00a #component #design

Component Based Design: A Complete Worked Example (JD), p. 470.

PADL-2000-KrishnamurthiGG #xml

Transformation-by-Example for XML (SK, KEG, PTG), pp. 249–262.

VLDB-1999-ChakrabartiBD #distributed #hypermedia #resource management

Distributed Hypertext Resource Discovery Through Examples (SC, MvdB, BD), pp. 375–386.

CSEET-1999-SikkelSW #case study #information management

Replacing a Hospital Information System: An Example of a Real-World Case Study (KS, TAMS, RLWvdW), pp. 6–15.

ICSM-1999-DouceL #empirical #evolution #fault

Evolution and Errors: An Empirical Example (CRD, PJL), p. 493–?.

WCRE-1999-Blaha #database #industrial #reverse engineering

An Industrial Example of Database Reverse Engineering (MRB), pp. 196–203.

HCI-EI-1999-CastellsS #interface #named

HandsOn: Dynamic Interface Presentations by Example (PC, PAS), pp. 1288–1292.

HCI-EI-1999-WandkeH #guidelines #interactive

Completing Human Factor Guidelines by Interactive Examples (HW, JH), pp. 983–987.

ICEIS-1999-FerreiraMS #interactive #visualisation

Supporting Decisions Concerning Location-Routing of Obnoxious Facilities: An Application Example of Visualization and Interaction Techniques (CF, ABdM, BSS), pp. 74–81.

CIKM-1999-Ribeiro-NetoLS

Extracting Semi-Structured Data Through Examples (BARN, AHFL, ASdS), pp. 94–101.

ICML-1999-ParekhH #automaton

Simple DFA are Polynomially Probably Exactly Learnable from Simple Examples (RP, VH), pp. 298–306.

KDD-1999-SyedLS #case study #independence

A Study of Support Vectors on Model Independent Example Selection (NAS, HL, KKS), pp. 272–276.

ASE-1998-MichailN #approach #library #object-oriented #reuse

Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach (AM, DN), pp. 200–203.

DAC-1998-OlukotunHO #simulation

Digital System Simulation: Methodologies and Examples (KO, MH, DO), pp. 658–663.

VLDB-1998-IshikawaSF #database #multi #named #query

MindReader: Querying Databases Through Multiple Examples (YI, RS, CF), pp. 218–227.

ITiCSE-1998-Johansson #approach #programming #student

Programming by example (poster): an instructional approach allowing introductory students to quickly grasp the power and excitement of programming (PGJ), p. 284.

ICALP-1998-AkutsuY #biology #complexity #on the #problem

On the Complexity of Deriving Score Functions from Examples for Problems in Molecular Biology (TA, MY), pp. 832–843.

ICALP-1998-Touzet #term rewriting

A Complex Example of a Simplifying Rewrite System (HT), pp. 507–517.

CIKM-1998-HongL #fuzzy #learning

Learning Fuzzy Knowledge from Training Examples (TPH, CYL), pp. 161–166.

ICML-1998-Ng #feature model #learning #on the

On Feature Selection: Learning with Exponentially Many Irrelevant Features as Training Examples (AYN), pp. 404–412.

ICPR-1998-XiaoYM

Some general grouping principles: line perception from points as an example (JX, ZY, SM), pp. 1825–1827.

ICSE-1998-FujiwaraGA

Examples of Applying Software Estimate Tool (FF, TG, SA), pp. 469–472.

WPC-1997-MarkovicHRB #automation #generative #source code

Semi-automatic Generation of Parallelizable Patterns from Source Code Examples (DM, JRH, CSR, SB), pp. 50–59.

HCI-CC-1997-StahreJA #industrial #optimisation #people

Joint Optimization of People and Technology-An Example from the Car Industry (JS, AJ, SA), pp. 265–268.

HCI-SEC-1997-OhtaA #bibliography #network

A Sensor Network Management System-An Overview and Example (MO, YA), pp. 197–200.

ICML-1997-Auer #approach #empirical #evaluation #learning #multi #on the

On Learning From Multi-Instance Examples: Empirical Evaluation of a Theoretical Approach (PA), pp. 21–29.

ICML-1997-Domingos #information management #modelling #multi

Knowledge Acquisition form Examples Vis Multiple Models (PMD), pp. 98–106.

CADE-1997-DefourneauxP #proving

Partial Matching for Analogy Discovery in Proofs and Counter-Examples (GD, NP), pp. 431–445.

DAC-1996-Smith #c

VHDL & Verilog Compared & Contrasted — Plus Modeled Example Written in VHDL, Verilog and C (DJS), pp. 771–776.

FME-1996-ArnoldBR #debugging #embedded #formal method

An Example of Use of Formal Methods to Debug an Embedded Software (AA, DB, JPR), pp. 649–661.

CIKM-1996-Huffman #learning

Learning to Extract Information From Text Based on User-Provided Examples (SBH), pp. 154–163.

ICPR-1996-GunselT #analysis #retrieval #similarity

Similarity analysis for shape retrieval by example (BG, AMT), pp. 330–334.

KDD-1996-FayyadHS #data analysis

KDD for Science Data Analysis: Issues and Examples (UMF, DH, PES), pp. 50–56.

CADE-1996-Martin #proving #theorem proving

Theorem Proving with Group Presentations: Examples and Questions (UM), pp. 358–372.

ISSTA-1996-BultanFG #composition #model checking #verification

Compositional Verification by Model Checking for Counter-Examples (TB, JF, RG), pp. 224–238.

CHI-1995-OlsenAK #geometry

Building Geometry-Based Widgets by Example (DRO, BA, DCK), pp. 35–42.

SEKE-1995-WolffBS #information management

Quasi-Experiment as a Tool for Knowledge Engineering: An Example from Intelligent Tutoring (SW, CB, AS), pp. 260–267.

ICSE-1995-JacksonZ #requirements #specification

Deriving Specifications from Requirements: An Example (MJ, PZ), pp. 15–24.

RTA-1995-Gehrke #category theory #concept #monad #problem

Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad (WG), pp. 210–224.

ICSM-1994-AmmannC #in the large

Inter-Module Renaming and Reorganizing: Examples of Program Manipulation-in-the-Large (MMA, RDC), pp. 354–361.

ICML-1994-ZuckerG #concept #learning

Selective Reformulation of Examples in Concept Learning (JDZ, JGG), pp. 352–360.

SEKE-1994-ReynoldsZ #algorithm #learning #using

Learning to understand software from examples using cultural algorithms (RGR, EZ), pp. 188–192.

ICDAR-1993-KiseYBF #documentation #incremental #layout

Incremental acquisition of knowledge about layout structures from examples of documents (KK, NY, NB, KF), pp. 668–671.

FME-1993-SaaltinkKPCM #abstraction

An EVES Data Abstraction Example (MS, SK, BP, DC, IM), pp. 578–596.

HCI-ACS-1993-Harendt #design

Dual Design of Computer-Based Air Traffic Control Systems — Examples from European Sir Traffic (BH), pp. 398–403.

HCI-SHI-1993-BauerR #development #interactive

New Techniques for Interaction in Virtual Worlds — Contents of Development and Examples (WB, OR), pp. 687–692.

HCI-SHI-1993-MittalP #generative #natural language

Intelligent Help Facilities: Generating Natural Language Descriptions with Examples (VOM, CP), pp. 379–384.

INTERCHI-1993-HudsonH #approach #independence #specification

A synergistic approach to specifying simple number independent layouts by example (SEH, CNH), pp. 285–292.

INTERCHI-1993-Kurlander #editing #visual notation

Graphical editing by example (abstract) (DK), p. 529.

INTERCHI-1993-Redmiles #performance #variability

Reducing the variability of programmers’ performance through explained examples (DFR), pp. 67–73.

INTERCHI-1993-WerthM

Tourmaline (abstract): macrostyles by example (AJW, BAM), p. 532.

ICML-1993-Tadepalli #bias #learning #query

Learning from Queries and Examples with Tree-structured Bias (PT), pp. 322–329.

RE-1993-MaidenS #empirical #requirements

Requirements engineering by example: an empirical study (NAMM, AGS), pp. 104–111.

ESEC-1993-BustardW #requirements #specification

Making Changes to Formal Specifications: Requirements and an Example (DWB, ACW), pp. 115–126.

CSCW-1992-KuuttiA #concept #identification #process

Identifying Potential CSCW Applications by Means of Activity Theory Concepts: A Case Example (KK, TA), pp. 233–240.

TRI-Ada-C-1992-StevensonEHJSS #ada #standard

The Army Sustaining Base APP: An Example of Standards Engineering for Ada (JTS, DEE, JPH, BJJ, MES, MCS), pp. 432–438.

CAiSE-1992-CasanovaHF #concept #declarative #modelling

A Declarative Conceptual Modelling Language: Description and Example Applications (MAC, ASH, ALF), pp. 589–611.

ML-1992-Hickey #algorithm #approach #evaluation #towards

Artificial Universes — Towards a Systematic Approach to Evaluation Algorithms which Learn form Examples (RJH), pp. 196–205.

ML-1992-Niquil #generative

Guiding Example Acquisition by Generating Scenarios (YN), pp. 348–354.

TOOLS-PACIFIC-1992-Pree #clustering #concept #development #object-oriented

Object-Oriented Software Development Based On Clusters: Concepts, Consequences and Examples (WP), pp. 111–117.

CHI-1991-Cypher #named #programming

EAGER: programming repetitive tasks by example (AC), pp. 33–39.

CHI-1991-Cypher91a #programming #video

Video presentation Eager: programming repetitive tasks by example (AC), pp. 445–446.

ML-1991-DzeroskiL #comparison #empirical #learning

Learning Relations from Noisy Examples: An Empirical Comparison of LINUS and FOIL (SD, NL), pp. 399–402.

ML-1991-Kadie91a #concept #learning #set

Continous Conceptual Set Covering: Learning Robot Operators From Examples (CMK), pp. 615–619.

SIGIR-1991-Henningen #programming

Retrieving Software Objects in an Example-Based Programming Environment (SH), pp. 251–260.

ML-1990-ArunkumarY #information management #learning #representation #using

Knowledge Acquisition from Examples using Maximal Representation Learning (SA, SY), pp. 2–8.

ML-1990-KoMT #learning #string

Learning String Patterns and Tree Patterns from Examples (KIK, AM, WGT), pp. 384–391.

ML-1990-McCallumS #algorithm #search-based #using

Using Genetic Algorithms to Learn Disjunctive Rules from Examples (AM, KAS), pp. 149–152.

ML-1990-WuWZ #framework

An Integrated Framework of Inducing Rules from Examples (YW, SW, QZ), pp. 357–365.

CC-1990-FedeleL #compilation

Computer-Aided Building of a Compiler: An Example (Abstract) (CF, OL), pp. 212–214.

CADE-1990-Hagiya #higher-order #programming #proving #unification #using

Programming by Example and Proving by Example Using Higher-order Unification (MH), pp. 588–602.

CHI-1989-Neal #programming

A system for example-based programming (LRN), pp. 63–68.

ML-1989-Paredis #behaviour #learning

Learning the Behavior of Dynamical Systems form Examples (JP), pp. 137–140.

ESEC-1989-WirsingHS #named #reuse #specification

MENU — An Example for the Systematic Reuse of Specifications (MW, RH, RS), pp. 20–41.

ESOP-1988-Takayama #analysis #compilation #named #proving

QPC: QJ-based Proof Compiler — Simple Examples and Analysis (YT), pp. 49–63.

ML-1988-Cohen #learning #multi

Generalizing Number and Learning from Multiple Examples in Explanation Based Learning (WWC), pp. 256–269.

ML-1988-Kadie #learning #named

Diffy-S: Learning Robot Operator Schemata from Examples (CMK), pp. 430–436.

ML-1988-Kerber #using

Using a Generalization Hierarchy to Learn from Examples (RK), pp. 1–7.

POPL-1987-KohlbeckerW #metaprogramming #named #specification

Macro-by-Example: Deriving Syntactic Transformations from their Specifications (EEK, MW), pp. 77–84.

CSL-1987-RinnS #fault #learning

Learning by Teams from Examples with Errors (RR, BS), pp. 223–234.

CSCW-1986-StaszB

Computer-supported cooperative work: examples and issues in one federal agency (CS, TKB), pp. 318–324.

CRAI-1986-Goodenough #ada #compilation #testing #theory and practice #validation

Ada Compiler Validation: An Example of Software Testing Theory and Practice (JBG), pp. 195–232.

DAC-1985-BamjiHA #design #generative

A design by example regular structure generator (CB, CEH, JA), pp. 16–22.

PODS-1985-OzsoyogluM #on the #optimisation #query

On Optimizing Summary-Table-by-Example Queries (GÖ, VM), pp. 38–50.

VLDB-1984-RosenthalHM #knowledge-based #query

An Example of Knowledge-Based Query Processing in a CAD/CAM DBMS (AR, SH, FM), pp. 363–370.

POPL-1984-Nix #editing

Editing by Example (RPN), pp. 186–195.

ICSE-1984-LucenaMVC #problem #programming

The Data Transform Programming Metho: An Example for File Processing Problems (CJPdL, RCBM, PASV, DDC), pp. 388–397.

CADE-1984-Plaisted #analysis #dependence #graph #proving #theorem proving #using

Using Examples, Case Analysis, and Dependency Graphs in Theorem Proving (DAP), pp. 356–374.

VLDB-1983-KrishnamurthyMZ #named

Query-By-Example: Operations on Piecewise Continuous Data (Extended Abstract) (RK, SPM, MMZ), pp. 305–308.

Ada-1983-GoodenoughP #ada #design #interface #testing

Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example (JBG, THP), pp. 104–114.

CADE-1982-Weyhrauch #using

An Example of FOL Using Metatheory (RWW), pp. 151–158.

SIGMOD-1981-LuoY #information management

Form Operation By Example: A Language For Office Information Processing (DL, SBY), pp. 212–223.

STOC-1981-KrishnamurthyM #calculus

Examples of Hard Tautologies in the Propositional Calculus (BK, RNM), pp. 28–37.

DAC-1979-ParkerTSBHLK #automation #design

The CMU design automation system: An example of automated data path design (ACP, DET, DPS, MB, LJH, GWL, JK), pp. 73–80.

FM-1979-Moriconi #design #interactive #network #verification

Interactive Design and Verification: A Message Switching Network Example (MM), pp. 355–388.

ICSE-1979-DAgapayeff #framework #on the

On Microprocessors: A Platform for True Program Portability with Examples from Microcobal (AD), pp. 332–339.

VDM-1978-Bjorner78a #abstraction #operating system #pl-i #specification #tutorial

Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition (DB), pp. 337–374.

POPL-1976-Summers #lisp

A Methodology for Lisp Program Construction from Examples (PDS), pp. 68–76.

ICSE-1976-McLeod #query

The Translation and Compatibility of SEQUEL and Query by Example (DM), pp. 520–526.

VLDB-1975-Zloof #named

Query-by-Example: the Invocation and Definition of Tables and Forms (MMZ), pp. 1–24.

DAC-1972-Grant #architecture #design #problem #proximity #using

Combining proximity criteria with nature-of-the-spot criteria in architectural and urban design space planning problems using a computer-aided space allocation technique: A proposed technique and an example of its application (DPG), pp. 197–202.