2407 search results - page 180 / 482 » A Tool for Abstraction in Model Checking |
159
click to vote
ROBOCUP
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. In the Humanoid Leagues balancing during walking and running is still the biggest challenge for most of the teams. We present here some work in which a dynamic walker is ...
180
Voted
CHI
1997
ACM
15 years 11 months ago
1997
ACM
d in Extended Abstracts, Human Factors in Computing Systems (CHI conference proceedings), Association for Computing Machinery, 1997, pp. 246-247. Originally appeared as Working Pap...
182
click to vote
AIR
1998
15 years 6 months ago
1998
Abstract. Genetic algorithms play a significant role, as search techniques for handling complex spaces, in many fields such as artificial intelligence, engineering, robotic, etc...
236
click to vote
PLDI
2004
ACM
16 years 15 days ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
181
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...