525 search results - page 56 / 105 » Using Checkable Types in Automatic Protocol Analysis |
MLMI
2007
Springer
14 years 3 months ago
2007
Springer
A speech separation system is described in which sources are represented in a joint interaural time difference-fundamental frequency (ITD-F0) cue space. Traditionally, recurrent t...
BIRTHDAY
2003
Springer
14 years 20 days ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Due to the flexibility and adaptability of human, manual handling work is still very important in industry, especially for assembly and maintenance work. Well-designed work operat...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
The Feature Vector approach is one of the most popular schemes for managing multimedia data. For many data types such as audio, images, or 3D models, an abundance of different Fea...
MATES
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In this paper we focus on explaining to humans the behavior of autonomous agents, i.e., explainable agents. Explainable agents are useful for many reasons including scena...