2038 search results - page 24 / 408 » Loops under Strategies |
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
The two most important tasks in information extraction from the Web are webpage structure understanding and natural language sentences processing. However, little work has been don...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
— A series of kinodynamic sampling-based planners have appeared over the last decade to deal with high dimensional problems for robots with realistic motion constraints. Yet, of...
ISCA
2008
IEEE
14 years 1 months ago
2008
IEEE
Performance improvement solely through transistor scaling is becoming more and more difficult, thus it is increasingly common to see domain specific accelerators used in conjunc...
DSN
2002
IEEE
14 years 14 days ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
SEUS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we present a distributed Hardware-in-the-Loop (HiL) simulation approach that supports the verification and validation activities in an integrated architecture as rec...