7991 search results - page 518 / 1599 » Using More Reasoning to Improve |
200
click to vote
APSEC
2005
IEEE
16 years 22 days ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
194
click to vote
CVPR
2005
IEEE
16 years 22 days ago
2005
IEEE
In this paper, we propose a symmetric stereo model to handle occlusion in dense two-frame stereo. Our occlusion reasoning is directly based on the visibility constraint that is mo...
185
click to vote
DFT
2003
IEEE
16 years 12 days ago
2003
IEEE
Transient faults in VLSI circuits could lead to disastrous consequences. With technology scaling, circuits are becoming increasingly vulnerable to transient faults. This papers pr...
168
click to vote
SCAM
2002
IEEE
16 years 10 hour ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
236
click to vote
FLAIRS
1998
15 years 8 months ago
1998
For many reasons, it is desirable to use robots in courses such as introductory computer science, artificial intelligence, and cognitive science, yet the knowledge normally require...