Sciweavers

2392 search results - page 287 / 479
» informs 2000
Sort
View
ICRA
2000
IEEE
145views Robotics» more  ICRA 2000»
15 years 8 months ago
Feature Based Condensation for Mobile Robot Localization
Much attention has been given to CONDENSATION methods for mobile robot localization. This has resulted in somewhat of a breakthrough in representing uncertainty for mobile robots....
Patric Jensfelt, David J. Austin, Olle Wijk, Magnu...
140
Voted
ICSE
2000
IEEE-ACM
15 years 8 months ago
Graphical animation of behavior models
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jef...
137
Voted
IDMS
2000
Springer
123views Multimedia» more  IDMS 2000»
15 years 8 months ago
How to Keep a Dead Man from Shooting
The state-of-the-art approach to realize consistency in distributed virtual environments (e.g., action games, multi-user virtual reality, and battlefield simulations) is dead recko...
Martin Mauve
133
Voted
IFIP
2000
Springer
15 years 8 months ago
Familyware
and scenario evolution, in which concepts in the abstraction domain and scenarios in the detail domain iteratively evolve. This framework provides another facet of scenario-based r...
Kentaro Go, John M. Carroll, Atsumi Imamiya
139
Voted
IFM
2000
Springer
15 years 8 months ago
ISpec: Towards Practical and Sound Interface Specifications
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
H. B. M. Jonkers