4099 search results - page 104 / 820 » A Framework for Interactive Proof |
AAAI
2010
14 years 11 months ago
2010
Modern complete SAT solvers almost uniformly implement variations of the clause learning framework introduced by Grasp and Chaff. The success of these solvers has been theoretical...
118
click to vote
CORR
2007
Springer
14 years 9 months ago
2007
Springer
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
OZCHI
2005
ACM
15 years 3 months ago
2005
ACM
Technology is advancing at a rapid pace, automating many everyday chores in the process, changing the way we perform work and providing various forms of entertainment. Makers of t...
EUSAI
2003
Springer
15 years 3 months ago
2003
Springer
This paper addresses the content overload problem applied to photo retrieval activities in the home environment. The starting point is an analysis of the main activities that users...