5600 search results - page 392 / 1120 » Synthesizing robust systems |
177
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
173
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
We studied the role of the competence of an interface agent that helped users to learn and use a text editor. Participants in the study made a set of changes to a document with th...
223
click to vote
ICBA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Current appearance-based face recognition system encounters the difficulty to recognize faces with appearance variations, while only a small number of training images are...
167
click to vote
ICFEM
2004
Springer
16 years 4 days ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
311
click to vote
ICCAD
2003
IEEE
16 years 2 days ago
2003
IEEE
While performance, area, and power constraints have been the driving force in designing current communication-enabled embedded systems, post-fabrication and run-time adaptability ...