7991 search results - page 40 / 1599 » Using More Reasoning to Improve |
121
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
IJACTAICIT
2010
14 years 6 months ago
2010
The theory of regions has been recognized as the optimal deadlock prevention policy based on the marking/transition-separation instance (MTSI) or the event-state-separation-proble...
ICTAI
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper, we describe the n-dimensional projective approach as a hierarchical and modular architecture with a processing mechanism that underlies both spatial backtracking an...
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— Robotics researchers are often faced with realtime constraints, and for that reason algorithmic and implementation-level optimization can dramatically increase the over...
JITECH
2006
14 years 12 months ago
2006
The misalignment of information systems (IS) components with the rest of an organization remains a critical and chronic unsolved problem in today's complex and turbulent worl...