77 search results - page 4 / 16 » Tasks Models Merging for High-Level Component Composition |
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
ICDAR
2009
IEEE
13 years 6 months ago
2009
IEEE
Layout analysis is a fundamental step in automatic document processing. Many different techniques have been proposed in literature to perform this task. These are broadly divided ...
ISARCS
2010
13 years 10 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
DSVIS
2005
Springer
14 years 2 months ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
CONCURRENCY
2006
13 years 8 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...