5200 search results - page 51 / 1040 » Symbolic models for control systems |
ENGL
2006
13 years 8 months ago
2006
Natural language communication is very important in Human-Robot cooperative work. This paper presents an object sorting robotic system which is controlled by natural language comm...
SIGSOFT
1996
ACM
14 years 26 days ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
WSC
2004
13 years 10 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
In this paper we review the acoustic features used for music-to-score alignment and study their influence on the performance in a challenging alignment task, where the audio data...