Sciweavers

630 search results - page 72 / 126
» Stateful Aspects in JAsCo
Sort
View
EWSA
2004
Springer
14 years 2 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
MEMBRANE
2004
Springer
14 years 2 months ago
Evolution and Oscillation in P Systems: Applications to Biological Phenomena
Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...
Vincenzo Manca, Luca Bianco, Federico Fontana
ICRA
2002
IEEE
102views Robotics» more  ICRA 2002»
14 years 1 months ago
Maximally Informative Statistics for Localization and Mapping
This paper presents an algorithm for simultaneous localization and mapping for a mobile robot using monocular vision and odometry. The approach uses Variable State Dimension Filte...
Matthew Deans
ISCC
2000
IEEE
14 years 1 months ago
An Adaptive Redundancy Technique for Wireless Indoor Multicasting
In thispaper we present an adaptive technique that combines forward error correction (FEC) with channel state estimation (CSE)and automatic repeat request (ARQ)for packet loss rec...
Youzhi Xu, Tingting Zhang
ICRA
1994
IEEE
236views Robotics» more  ICRA 1994»
14 years 1 months ago
Neptune: Above-Ground Storage Tank Inspection Robot System
act The Neptune system is a mobile robot system used to remotely inspect above-ground storage tanks (ASTs) while immersed in the petroleum product, in order to ascertain from the i...
Hagen Schempf