Sciweavers

11374 search results - page 228 / 2275
» Demonstration of the CROSSMARC System
Sort
View
HYBRID
1992
Springer
15 years 10 months ago
A Formal Approach to Computer Systems Requirements Documentation
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
Marcin Engel, Marcin Kubica, Jan Madey, David Lorg...
AAAI
2008
15 years 9 months ago
Generating Application-Specific Benchmark Models for Complex Systems
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
Jun Wang, Gregory M. Provan
ANTSW
2008
Springer
15 years 8 months ago
Autonomous Reconfiguration in a Self-assembling Multi-robot System
Self-assembling multi-robot systems can, in theory, overcome the physical limitations of individual robots by connecting to each other to form particular physical structures (morph...
Rehan O'Grady, Anders Lyhne Christensen, Marco Dor...
ACII
2005
Springer
15 years 8 months ago
Face and Facial Expression Recognition with an Embedded System for Human-Robot Interaction
In this paper, we present an embedded system in which face recognition and facial expression recognition for Human-Robot Interaction are implemented. To detect face with a fast and...
Yang-Bok Lee, Seungbin Moon, Yong-Guk Kim
ATC
2007
Springer
15 years 8 months ago
A Generic and Modular System Architecture for Trustworthy, Autonomous Applications
We propose a generic architecture to facilitate the systematic design of autonomous, adaptive and safe applications. We specify generic modules including a trustworthiness enforcem...
George Brancovici, Christian Müller-Schloer