7167 search results - page 245 / 1434 » Answer Set Programming |
114
click to vote
SIGMOD
1989
ACM
15 years 6 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
126
click to vote
FOAL
2009
ACM
15 years 8 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
151
Voted
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
135
click to vote
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
Can we detect low dimensional structure in high dimensional data sets of images? In this paper, we propose an algorithm for unsupervised learning of image manifolds by semidefinit...
123
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
VLIW machines possibly provide the most direct way to exploit instruction level parallelism; however, they cannot be used to emulate current general-purpose instruction set archit...