9067 search results - page 1735 / 1814 » Adaptive Model Checking |
167
click to vote
ICRA
2008
IEEE
16 years 18 days ago
2008
IEEE
For complex robotic tasks (manipulation, locomotion, haptics, ...), the lack of knowledge of precise interaction models, the difficulties to precisely measure the task associated ...
200
click to vote
BROADNETS
2007
IEEE
16 years 15 days ago
2007
IEEE
— Traffic engineering has been extensively studied to maximize network resource utilization while minimizing call blocking [1]. As the the demand for high data rate services ove...
190
click to vote
SECON
2007
IEEE
16 years 13 days ago
2007
IEEE
—Mobile ad hoc networks (MANETs) are a critical technology in filling the gap where the network infrastructure is insufficient or does not exist at all. The dynamic topology of...
146
click to vote
ER
2007
Springer
16 years 10 days ago
2007
Springer
It is increasingly recognised that user preferences should be addressed in many advanced database applications, such as adaptive searching in databases. However, the fundamental is...
178
click to vote
HIPEAC
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...