1636 search results - page 42 / 328 » Reasoning About Quantum Systems |
160
click to vote
ECOI
2008
15 years 6 months ago
2008
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...
171
click to vote
FAC
2000
15 years 5 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
176
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...
200
click to vote
SIGSOFT
2006
ACM
16 years 6 hour ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
150
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...