Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Bayesian program synthesis (view)

searching for Program synthesis 33 found (72 total)

Richard Waldinger (869 words) [view diff] no match in snippet view article find links to article

Richard Jay Waldinger is a computer science researcher at SRI International's Artificial Intelligence Center (where he has worked since 1969) whose interests

Generic Modeling Environment (212 words) [view diff] exact match in snippet view article find links to article

Modeling Environment (GME) is a domain-specific, model-integrated program synthesis tool for creating domain-specific models of large-scale systems. GME

Andrei Voronkov (614 words) [view diff] exact match in snippet view article find links to article

lives in Bramhall with his family. Voronkov, A. A. (1987). "Deductive program synthesis and Markov's principle". Fundamentals of Computation Theory. Lecture

Anti-unification (3,058 words) [view diff] exact match in snippet view article find links to article

Proc. 8th Int. Conf. of the ACIA, CCIA. IOS Press. pp. 239–246. Program synthesis: The idea of generalizing terms with respect to an equational theory

Korg Trinity (963 words) [view diff] case mismatch in snippet view article find links to article

Polyphony 32 voices Timbrality 16-part Oscillator 32 total, 2 max/Program Synthesis type PCM-based subtractive (optional VA/FM/physical modelling) Filter

Interpreter (computing) (4,547 words) [view diff] case mismatch in snippet view article

"Logimix: A self-applicable partial evaluator for Prolog." Logic Program Synthesis and Transformation. Springer, London, 1993. 214-227. Gifford, Clive

Turing Award (3,519 words) [view diff] exact match in snippet view article find links to article

programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms" Carnegie Mellon University, Stanford

GitHub Copilot (1,678 words) [view diff] case mismatch in snippet view article find links to article

Schweim, Dirk; Rothlauf, Franz (2022). "A Comprehensive Survey on Program Synthesis with Evolutionary Algorithms". IEEE Transactions on Evolutionary Computation

Richard Evans (AI researcher) (208 words) [view diff] case mismatch in snippet view article

Logical Entailment Formalizing Kant's Rules High-level Perception and Program Synthesis, FLoC, Oxford, 2018 Making Sense of Sensory Input, Artificial Intelligence

Zohar Manna (397 words) [view diff] exact match in snippet view article find links to article

pedagogical contributions (with Richard Waldinger) to automated reasoning, program synthesis, planning, and formal methods″. He received the Bauer Prize from the

Abstract interpretation (2,924 words) [view diff] case mismatch in snippet view article find links to article

Yoon, Yongho; Lee, Woosuk; Yi, Kwangkeun (2023-06-06). "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation". Proceedings

Pushmeet Kohli (1,045 words) [view diff] case mismatch in snippet view article find links to article

Discovering algorithms by using LLMs to search over program space. Neural Program Synthesis Probabilistic Programming 3D-scene Reconstruction and Understanding

Stanford Research Institute Problem Solver (1,412 words) [view diff] exact match in snippet view article find links to article

Schmid, Ute (1999). Iterative macro-operators revisited: Applying program synthesis to learning in planning (Technical report). School of Computer Science

Curry (programming language) (1,650 words) [view diff] case mismatch in snippet view article

(2006). "Declarative Programming with Function Patterns". Logic Based Program Synthesis and Transformation. Lecture Notes in Computer Science. Vol. 3901.

Carl Mears (426 words) [view diff] case mismatch in snippet view article find links to article

(1991) convening lead author for the U.S. Climate Change Science Program Synthesis and Assessment product 1.1 contributing author to the IPCC 4th assessment

Curry–Howard correspondence (6,197 words) [view diff] exact match in snippet view article find links to article

ISBN 978-0-387-23759-6, concerns the adaptation of proofs-as-programs program synthesis to coarse-grain and imperative program development problems, via a

Planner (programming language) (2,311 words) [view diff] exact match in snippet view article

Jean-Claude Latombe for computer-aided design, by Nachum Dershowitz for program synthesis, by Richard Fikes for deductive retrieval, and by Steven Coles for

Sioux Narrows Bridge (554 words) [view diff] no match in snippet view article find links to article

Existing Highway Bridges" in National Cooperative Highway Research Program: Synthesis of Highway Practice, Vol. 249 (1997). Transportation Research Board

List of pioneers in computer science (1,515 words) [view diff] exact match in snippet view article find links to article

programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms 1994 Floyd, Sally Founded the field of

Incremental computing (1,189 words) [view diff] case mismatch in snippet view article find links to article

Retrieved 2018-03-12. Paige, Robert (1981). Formal Differentiation: A Program Synthesis Technique. UMI Research Press. ISBN 978-0-8357-1213-2. Ahmad, Yanif;

Resolution (logic) (4,066 words) [view diff] case mismatch in snippet view article

Zohar; Waldinger, Richard (January 1980). "A Deductive Approach to Program Synthesis". ACM Transactions on Programming Languages and Systems. 2: 90–121

List of bridges in Canada (4,374 words) [view diff] no match in snippet view article find links to article

Stay Cable Systems (PDF). National Cooperative Highway Research Program - Synthesis 353. 2005. p. 6. ISBN 0-309-09760-6. ISSN 0547-5570. {{cite book}}:

Datalog (4,915 words) [view diff] case mismatch in snippet view article find links to article

Optimizer for Soufflé". In Villanueva, Alicia (ed.). Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science. Vol. 13474

Malabika Sarker (756 words) [view diff] no match in snippet view article find links to article

Investigator for Bangladesh in the Johns Hopkins University STRIPE program (Synthesis and Translation of Research and Innovation from Polio Eradication)

List of datasets for machine-learning research (13,232 words) [view diff] exact match in snippet view article find links to article

programming languages. Parquet Language modeling, autocompletion, program synthesis. 2022 D. Kocetkov, R. Li, L. Ben Allal, L. von Werra, H. de Vries

Automatic bug fixing (4,117 words) [view diff] exact match in snippet view article find links to article

Sanjit A.; Tiwari, Ashish (2010-05-01). Oracle-guided component-based program synthesis. ACM. pp. 215–224. doi:10.1145/1806799.1806833. ISBN 9781605587196

Climate Change Science Program (6,516 words) [view diff] case mismatch in snippet view article find links to article

at the Wayback Machine Findings of the U.S. Climate Change Science Program Synthesis and Assessment Product 4.6] Washington, DC. 2 pp. Response to Comments

PROSE modeling language (2,494 words) [view diff] case mismatch in snippet view article find links to article

1984 J.M. Thames, Synthetic Calculus – A Paradigm of Mathematical Program Synthesis, in A. Griewank and G.F. Corliss, eds., Automatic Differentiation

List of programming language researchers (5,830 words) [view diff] exact match in snippet view article find links to article

programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms Robert France, the 2014 AITO Dahl–Nygaard

Performance-based contracting (2,422 words) [view diff] no match in snippet view article find links to article

available online from [13] National Cooperative Highway Research Program, Synthesis 389, Performance-Based Contracting for Maintenance 2009, available

Refocusing (semantics) (2,786 words) [view diff] case mismatch in snippet view article

semantics". Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science. Vol. 8901. Logic-Based Program Synthesis and Transformation

List of SRI International people (2,553 words) [view diff] exact match in snippet view article find links to article

Intelligence Center since 1969. He has contributed to Shakey the robot, program synthesis, and the SNARK theorem prover. He is a fellow of the Association for

List of statements by major scientific organizations about climate change (7,201 words) [view diff] exact match in snippet view article find links to article

Revolution. The first government-led U.S. Climate Change Science Program synthesis and assessment report supports the growing body of evidence that warming