6608 search results - page 960 / 1322 » On the Completeness of Model Checking |
166
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...
165
click to vote
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
— This paper presents a fast tracking algorithm capable of estimating the complete pose (6DOF) of an industrial object by using its circular-shape features. Since the algorithm i...
172
click to vote
IV
2003
IEEE
16 years 2 days ago
2003
IEEE
The need for visualisation applications developed for small handheld devices such as PDAs and intelligent mobiles are growing. A visual user interface VUI model based on zooming u...
164
click to vote
LICS
2003
IEEE
16 years 2 days ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
158
click to vote
VR
2003
IEEE
16 years 2 days ago
2003
IEEE
We examine the law of steering – a quantitative model of human movement time in relation to path width and length previously established in hand drawing movement – in a VR loc...