6020 search results - page 162 / 1204 » A New Approach to Model Counting |
183
click to vote
CSREAESA
2010
15 years 2 months ago
2010
Moving object detection is essential for real-time surveillance; however, it is challenging to support moving object detection in a timely fashion due to the compute-intensive natu...
140
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
132
click to vote
ESA
1998
Springer
15 years 8 months ago
1998
Springer
We present a new approach for designing external graph algorithms and use it to design simple, deterministic and randomized external algorithms for computing connected components, ...
160
click to vote
CAIP
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. We suggest a novel approach to the Color Constancy Problem for multispectral imagery. Our approach is based on a dichromatic illumination model and lters out all spectral...
127
click to vote
ANOR
2005
15 years 4 months ago
2005
: The vertex coloring problem has been the subject of extensive research for many years. Driven by application potential as well as computational challenge, a variety of methods ha...