4460 search results - page 347 / 892 » Formal methods for interactive systems |
168
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
In this paper, we try to demonstrate the capability of a very simple architecture to learn to recognize and reproduce facial expressions without the innate capability to recognize ...
189
click to vote
AICOM
2005
15 years 6 months ago
2005
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
160
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Many calibration methods calibrate a pair of sensors at a time. For robotic systems with many sensors, they are often time-consuming to use, and can also lead to inaccurate res...
163
click to vote
MKM
2005
Springer
16 years 6 days ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
153
click to vote
ECOWS
2007
Springer
16 years 27 days ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...