601 search results - page 49 / 121 » Quantified Equality Constraints |
94
Voted
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
130
Voted
TIFS
2008
15 years 19 days ago
2008
Abstract--Distributed detection of information flows is considered in which traffic sensors at different locations of a network observe transmission epochs. The traffic sensors com...
122
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
Numerous applications processing 3D point data will gain from the ability to estimate reliably normals and differential geometric properties. Normal estimates are notoriously nois...
100
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...