3600 search results - page 432 / 720 » The settling-time reducibility ordering |
200
click to vote
SPIN
2007
Springer
16 years 27 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
182
click to vote
UM
2007
Springer
16 years 27 days ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...
164
click to vote
W2GIS
2007
Springer
16 years 27 days ago
2007
Springer
In order to provide a streaming service of 3-D spatial objects to the mobile clients on a street, we propose a new query type, called continuous perspective query. The perspective ...
187
click to vote
3DPVT
2006
IEEE
16 years 26 days ago
2006
IEEE
We present a stereo algorithm that achieves high quality results while maintaining real-time performance. The key idea is simple: we introduce an adaptive aggregation step in a dy...
201
click to vote
AHS
2006
IEEE
16 years 26 days ago
2006
IEEE
To increase the flexibility of single-chip evolvable hardware systems, we explore possibilities of systems with the evolutionary algorithm implemented in software on an onchip pr...