2116 search results - page 196 / 424 » On Probabilistic Alternating Simulations |
120
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we introduce a new hexapedal locomotion controller that simulation evidence suggests will be capable of driving our RHex robot at speeds exceeding five body length...
161
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
150
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a novel Energy-Aware Compilation (EAC) framework that can estimate and optimize energy consumption of a given code taking as input the architectural and techno...
118
click to vote
LCN
2002
IEEE
15 years 9 months ago
2002
IEEE
In wireless networks, as in many areas of engineering, simulation has been the de-facto standard for testing, dimensioning and analyzing mobile protocols. Emulation, which present...
121
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...