1525 search results - page 83 / 305 » POSD-a notation for presenting complex systems of processes |
148
click to vote
FLAIRS
2009
15 years 1 months ago
2009
For certain disable persons unable to communicate, we present a palliative aid which consist of a virtual pictographic keyboard associated to a text processing from a pictographic...
158
click to vote
DAGM
2001
Springer
15 years 8 months ago
2001
Springer
Vision systems for service robotics applications have to cope with varying environmental conditions, partial occlusions, complex backgrounds and a large number of distractors (clut...
128
click to vote
LADS
2007
Springer
15 years 10 months ago
2007
Springer
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
171
Voted
NFM
2011
14 years 10 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
128
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
This article presents a multi-agent dialogue system. We show how a collection of relatively simple agents is able to treat complex dialogue phenomena and deal successfully with di...