Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065394549> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2065394549 abstract "Examples are often a natural way to specify various computational artifacts such as programs, queries, and sequences. Synthesizing such artifacts from example based specifications has various applications in the domains of end-user programming and intelligent tutoring systems. Synthesis from examples involves addressing two key technical challenges: (i) design of a user interaction model to deal with the inherent ambiguity in the example based specification. (ii) design of an efficient search algorithm - these algorithms have been based on paradigms from various communities including use of SAT/SMT solvers (formal methods community), version space algebras (machine learning community), and A*-style goal-directed heuristics (AI community). This paper describes some effective user interaction models and algorithmic methodologies for synthesis from examples while discussing synthesizers for a variety of artifacts ranging from tricky bit vector algorithms, spreadsheet macros for automating repetitive data manipulation tasks, ruler/compass based geometry constructions, algebraic identities, and predictive intellisense for repetitive drawings and mathematical terms." @default.
- W2065394549 created "2016-06-24" @default.
- W2065394549 creator A5011543162 @default.
- W2065394549 date "2012-09-01" @default.
- W2065394549 modified "2023-09-24" @default.
- W2065394549 title "Synthesis from Examples: Interaction Models and Algorithms" @default.
- W2065394549 cites W1792831685 @default.
- W2065394549 cites W1973831620 @default.
- W2065394549 cites W2009207944 @default.
- W2065394549 cites W2012436850 @default.
- W2065394549 cites W2049311030 @default.
- W2065394549 cites W2080132708 @default.
- W2065394549 cites W2099684934 @default.
- W2065394549 cites W2101432564 @default.
- W2065394549 cites W2108556169 @default.
- W2065394549 cites W2108784678 @default.
- W2065394549 cites W2117863556 @default.
- W2065394549 cites W2134734244 @default.
- W2065394549 cites W2146105230 @default.
- W2065394549 cites W2149236697 @default.
- W2065394549 cites W2150871888 @default.
- W2065394549 cites W2151759383 @default.
- W2065394549 cites W2634524329 @default.
- W2065394549 cites W4233189519 @default.
- W2065394549 cites W4237412827 @default.
- W2065394549 cites W4242364663 @default.
- W2065394549 cites W4242912959 @default.
- W2065394549 cites W4243125208 @default.
- W2065394549 doi "https://doi.org/10.1109/synasc.2012.69" @default.
- W2065394549 hasPublicationYear "2012" @default.
- W2065394549 type Work @default.
- W2065394549 sameAs 2065394549 @default.
- W2065394549 citedByCount "68" @default.
- W2065394549 countsByYear W20653945492013 @default.
- W2065394549 countsByYear W20653945492014 @default.
- W2065394549 countsByYear W20653945492015 @default.
- W2065394549 countsByYear W20653945492016 @default.
- W2065394549 countsByYear W20653945492017 @default.
- W2065394549 countsByYear W20653945492018 @default.
- W2065394549 countsByYear W20653945492019 @default.
- W2065394549 countsByYear W20653945492020 @default.
- W2065394549 countsByYear W20653945492021 @default.
- W2065394549 countsByYear W20653945492022 @default.
- W2065394549 crossrefType "proceedings-article" @default.
- W2065394549 hasAuthorship W2065394549A5011543162 @default.
- W2065394549 hasConcept C111919701 @default.
- W2065394549 hasConcept C11413529 @default.
- W2065394549 hasConcept C127705205 @default.
- W2065394549 hasConcept C136197465 @default.
- W2065394549 hasConcept C154945302 @default.
- W2065394549 hasConcept C166955791 @default.
- W2065394549 hasConcept C199360897 @default.
- W2065394549 hasConcept C2776937632 @default.
- W2065394549 hasConcept C41008148 @default.
- W2065394549 hasConcept C80444323 @default.
- W2065394549 hasConceptScore W2065394549C111919701 @default.
- W2065394549 hasConceptScore W2065394549C11413529 @default.
- W2065394549 hasConceptScore W2065394549C127705205 @default.
- W2065394549 hasConceptScore W2065394549C136197465 @default.
- W2065394549 hasConceptScore W2065394549C154945302 @default.
- W2065394549 hasConceptScore W2065394549C166955791 @default.
- W2065394549 hasConceptScore W2065394549C199360897 @default.
- W2065394549 hasConceptScore W2065394549C2776937632 @default.
- W2065394549 hasConceptScore W2065394549C41008148 @default.
- W2065394549 hasConceptScore W2065394549C80444323 @default.
- W2065394549 hasLocation W20653945491 @default.
- W2065394549 hasOpenAccess W2065394549 @default.
- W2065394549 hasPrimaryLocation W20653945491 @default.
- W2065394549 hasRelatedWork W1883249594 @default.
- W2065394549 hasRelatedWork W2112962394 @default.
- W2065394549 hasRelatedWork W2118300983 @default.
- W2065394549 hasRelatedWork W2153712670 @default.
- W2065394549 hasRelatedWork W2382501300 @default.
- W2065394549 hasRelatedWork W2884576438 @default.
- W2065394549 hasRelatedWork W3137189469 @default.
- W2065394549 hasRelatedWork W3208140008 @default.
- W2065394549 hasRelatedWork W4235530921 @default.
- W2065394549 hasRelatedWork W4243252198 @default.
- W2065394549 isParatext "false" @default.
- W2065394549 isRetracted "false" @default.
- W2065394549 magId "2065394549" @default.
- W2065394549 workType "article" @default.