782 search results - page 58 / 157 » Can a Parser be Generated from Examples |
126
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
131
click to vote
DIS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
88
Voted
ZUM
1995
Springer
15 years 7 months ago
1995
Springer
as Abstraction Susan Stepney Logica UK Ltd 1 The PROST-Objects project has developed a method for specifying tests. The method is based on systematic abstraction from a `state-plus...
142
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
In this paper, intelligent perception-based systems are proposed in application to medical diagnosis problems. The systems are created by use of connectionist neurofuzzy architect...
122
Voted
FBT
1997
15 years 5 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...