2341 search results - page 266 / 469 » Using ontologies for simulation integration |
TFS
2008
13 years 10 months ago
2008
Abstract--Flocking algorithms essentially consist of three components: alignment, cohesion, and separation. To track a desired trajectory, the flock center should move along the de...
DAC
2004
ACM
14 years 11 months ago
2004
ACM
Power optimization is of growing importance for FPGAs in nanometer technologies. Considering dual-Vdd technique, we show that configurable power supply is required to obtain a sat...
CAV
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
In this study, we intend to show the basis of a general legged locomotion controller with the ability to integrate both posture and rhythmic motion controls and shift continuously ...
EOR
2011
13 years 5 months ago
2011
Efficiency measurement is an important issue for any firm or organization. Efficiency measurement allows organizations to compare their performance with their competitors’ and t...