11436 search results - page 315 / 2288 » Modeling Real Reasoning |
138
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
In this paper we present a method to estimate in real-time the position and orientation of a previously viewed planar patch. The algorithm is based on minimising the sum of squared...
116
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
143
click to vote
SEUS
2008
IEEE
15 years 10 months ago
2008
IEEE
The concepts of Autonomic and Organic Computing (AC/OC) promise to make modern computer systems more secure and easier to manage. In this paper, we extend the observer/controller a...
146
click to vote
ICESS
2004
Springer
15 years 9 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
117
click to vote
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
Interactive visualization of complex, real-world light sources has so far not been feasible. In this paper, we present an hardware accelerated direct lighting algorithm based on a...