Sciweavers

22864 search results - page 264 / 4573
» An Integrated and
Sort
View
SCS
2003
15 years 8 months ago
Safety Assurance Contracts for Integrated Modular Avionics
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
Philippa Conmy, Mark Nicholson, John A. McDermid
AAAI
1998
15 years 8 months ago
Integrating Topological and Metric Maps for Mobile Robot Navigation: A Statistical Approach
The problem of concurrent mapping and localization has received considerable attention in the mobile robotics community. Existing approachescan largely be grouped into two distinc...
Sebastian Thrun, Jens-Steffen Gutmann, Dieter Fox,...
CRIWG
2000
15 years 8 months ago
Supporting Collaborative Activities in Computer Integrated Classrooms-the NIMIS Approach
This paper presents the concept of a collaborative computer integrated classroom (CiC) specially designed to achieve a unique combination of interactive and collaborative software...
Heinz Ulrich Hoppe, Andreas Lingnau, Isabel Machad...
WM
2003
15 years 8 months ago
Integration with Ontologies
: One of today’s hottest IT topics is integration, as bringing together information from different sources and structures is not completely solved. The approach outlined here wan...
Andreas Maier, Jessica Aguado, Amaia Bernaras, I&n...
WOA
2003
15 years 8 months ago
An Integrated Resource Management Architecture for Wireless Smart Environments
— Pervasive and ubiquitous computing is enabling the implementation of “smart environments”, i.e., environments where applications support and enhance the abilities of their ...
Paolo Bellavista, Antonio Corradi, Silvia Vecchi