7289 search results - page 238 / 1458 » A Dependent Set Theory |
220
click to vote
FROCOS
2011
Springer
14 years 5 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
115
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We propose an argumentation-based framework for representing communication theories of agents that can take into account dialogue strategies and society protocols in a way that fa...
152
Voted
DICTA
2007
15 years 7 months ago
2007
A scheme, named tower of knowledge (ToK), is proposed for interpreting 3D scenes. The ToK encapsulates causal dependencies between object appearance and functionality. We demonstr...
175
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents a novel 3D deformable surface that we call an active polyhedron. Rooted in surface evolution theory, an active polyhedron is a polyhedral surface whose vertice...
270
Voted
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...