249 search results - page 22 / 50 » Validating Architectural Feature Descriptions using LOTOS |
106
click to vote
HYBRID
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
DAC
1998
ACM
16 years 2 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
127
click to vote
3DIM
2003
IEEE
15 years 5 months ago
2003
IEEE
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
108
click to vote
PREMI
2005
Springer
15 years 6 months ago
2005
Springer
The work proposes a hierarchical architecture for learning amic scenes at various levels of knowledge abstraction. The raw visual information is processed at different stages to g...
131
click to vote
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—This paper presents a new task assignment algorithm that integrates area search and target tracking. A new tracking metric is derived that encodes the ability of each ro...