11030 search results - page 461 / 2206 » Generative Sound Models |
181
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
153
click to vote
IROS
2006
IEEE
16 years 26 days ago
2006
IEEE
– In this paper, we describe a robot that interacts with humans in a crowded conference environment. The robot detects faces, determines the shirt color of onlooking conference a...
177
click to vote
CSFW
2005
IEEE
16 years 14 days ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
181
click to vote
ISMIR
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes a hierarchical approach for fast audio stream segmentation and classification. With this approach, the audio stream is firstly segmented into audio clips by M...
163
click to vote
VLDB
2005
ACM
16 years 9 days ago
2005
ACM
Existing work for query processing over graph data models often relies on pre-computing the transitive closure or path indexes. In this paper, we propose a family of stack-based a...