Sciweavers

4810 search results - page 234 / 962
» Modeling Value Speculation
Sort
View
ICRA
2000
IEEE
118views Robotics» more  ICRA 2000»
15 years 11 months ago
4-D/RCS Reference Model Architecture for Unmanned Ground Vehicles
4-D/RCS is the reference model architecture currently being developed for the Demo III Experimental Unmanned Vehicle program. 4-D/RCS integrates the NIST (National Institute of St...
James S. Albus
PG
1998
IEEE
15 years 10 months ago
Modeling of Clouds from Satellite Images using Metaballs
This paper proposes an image-based modeling of clouds where realistic clouds are created from satellite images using metaballs. The intention of the paper is for applications to s...
Yoshinori Dobashi, Tomoyuki Nishita, Hideo Yamashi...
IEAAIE
1998
Springer
15 years 10 months ago
Topological Modeling with Fuzzy Petri Nets for Autonomous Mobile Robots
In this paper a novel method of reference places' detection to build topological models is described, as well as an algorithm for route planning based on Fuzzy Petri Nets. The...
Javier de Lope Asiaín, Darío Maraval...
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 10 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
SIGMETRICS
1990
ACM
129views Hardware» more  SIGMETRICS 1990»
15 years 10 months ago
An Analytical Model of Multistage Interconnection Networks
Multiprocessors require an interconnection network to connect processors with memory modules. The performance of the interconnection network can have a large effect upon overall s...
Darryl L. Willick, Derek L. Eager