2584 search results - page 404 / 517 » On the Forward Checking Algorithm |
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
PLDI
2006
ACM
14 years 3 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
ICCV
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract. Visual detection and tracking of humans in complex scenes is a challenging problem with a wide range of applications, for example surveillance and human-computer interact...
ICW
2005
IEEE
14 years 2 months ago
2005
IEEE
— Ad hoc and wireless sensor networks have recently emerged as successful technologies in a number of application domains. The need to build security services into them remains h...
COCO
2005
Springer
14 years 2 months ago
2005
Springer
Weighted threshold functions with positive weights are a natural generalization of unweighted threshold functions. These functions are clearly monotone. However, the naive way of ...