782 search results - page 134 / 157 » Can a Parser be Generated from Examples |
153
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
136
Voted
AAMAS
2008
Springer
15 years 3 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
132
Voted
ERSHOV
1989
Springer
15 years 7 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
123
Voted
STOC
1997
ACM
15 years 7 months ago
1997
ACM
For a large class of examples arising in statistical physics known as attractive spin systems (e.g., the Ising model), one seeks to sample from a probability distribution π on an...
157
Voted
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Nowadays, enormous amounts of data are continuously generated not only in massive scale, but also from different, sometimes conflicting, views. Therefore, it is important to conso...