12981 search results - page 2262 / 2597 » Model Checking (Abstract) |
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper deals with the generation of motion pattern for humanoid robots vertical jump. The study concentrates on the landing phase of the jump which is the most dema...
141
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
148
click to vote
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
153
click to vote
NCA
2006
IEEE
15 years 10 months ago
2006
IEEE
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...
144
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...