1636 search results - page 96 / 328 » Reasoning About Quantum Systems |
193
click to vote
EUROSSC
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...
150
click to vote
ENTCS
2007
15 years 6 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
172
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
159
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...
161
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...