7167 search results - page 252 / 1434 » Answer Set Programming |
130
Voted
ENTCS
2002
15 years 2 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
94
Voted
CSL
2007
Springer
15 years 8 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
157
Voted
KDD
2004
ACM
15 years 7 months ago
2004
ACM
Using SQL has not been considered an efficient and feasible way to implement data mining algorithms. Although this is true for many data mining, machine learning and statistical a...
145
click to vote
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
One of the visions of pervasive computing is using mobile computers to interact with networked devices. A question raised by this vision is: Should the userinterfaces of these dev...
134
click to vote
ECLIPSE
2006
ACM
15 years 8 months ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...