1040 search results - page 83 / 208 » Controlling Aspect Reentrancy |
COMPSAC
2004
IEEE
15 years 2 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
85
Voted
ICCAD
1995
IEEE
15 years 2 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
73
Voted
LREC
2010
15 years 16 days ago
2010
In this paper the FAU IISAH corpus and its recording conditions are described: a new speech database consisting of human-machine and human-human interaction recordings. Beside clo...
ICAD
2004
15 years 14 days ago
2004
This paper describes work-in-progress on an Interactive Sonification Toolkit which has been developed in order to aid the analysis of general data sets. The toolkit allows the des...
FLAIRS
2003
15 years 14 days ago
2003
Imitation represents a powerful approach for programming and autonomous learning in robot and computer systems. An important aspect of imitation is the mapping of observations to ...