1024 search results - page 51 / 205 » Value complete, column complete, predicate complete |
103
Voted
COMPGEOM
2008
ACM
15 years 3 months ago
2008
ACM
Anisotropic meshes are triangulations of a given domain in the plane or in higher dimensions, with elements elongated along prescribed directions. Anisotropic triangulations have ...
107
click to vote
CP
2006
Springer
15 years 5 months ago
2006
Springer
In previous work, a new approach called Open CSP (OCSP) was defined as a way of integrate information gathering and problem solving. Instead of collecting all variable values befor...
107
click to vote
TARK
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
124
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
COCO
2007
Springer
15 years 7 months ago
2007
Springer
We consider the problem of counting the number of spanning trees in planar graphs. We prove tight bounds on the complexity of the problem, both in general and especially in the mo...