3745 search results - page 282 / 749 » Sonic: System Description |
169
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
180
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
170
click to vote
ICECCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
180
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes an unusual event recognition algorithm, which is a part of a mobile alarm system. Our systems focus on unusual event. When the system detects the unusual event,...
161
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper introduces a design technique for complex robotic systems called interfaces- rst design. Interfaces- rst design develops information interfaces based on the characteris...