1302 search results - page 158 / 261 » Soundness in the Public-Key Model |
174
click to vote
LICS
2007
IEEE
16 years 20 days 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 ...
146
click to vote
IROS
2006
IEEE
16 years 13 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...
161
click to vote
CSFW
2005
IEEE
16 years 23 hour 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 ...
171
click to vote
ISMIR
2005
Springer
15 years 12 months 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...
148
click to vote
VLDB
2005
ACM
15 years 12 months 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...