3238 search results - page 1 / 648 » Not Enough Points Is Enough |
64
Voted
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...
IJCAI
2007
14 years 11 months ago
2007
This goal of this paper is to defend the plausibility of the argument that passing the Turing test is a sufficient condition for the presence of intelligence. To this effect, we ...
101
click to vote
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
Specular flow is the motion field induced on the image plane by the movement of points reflected by a curved, mirror-like surface. This flow provides information about surface...
SOFTWARE
2002
14 years 10 months ago
2002
Much of the software engineering literature begins with an admonition that what practitioners are doing isn't enough--that the state-of-the-practice is creating bad software. ...
PPDP
2004
Springer
15 years 3 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...