391 search results - page 73 / 79 » Compositionality for Probabilistic Automata |
ICMCS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper considers extractive summarization of Chinese spoken documents. In contrast to conventional approaches, we attempt to deal with the extractive summarization problem und...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— We present a probabilistic framework for visual correspondence, inertial measurements and Egomotion. First, we describe a simple method based on Gabor filters to produce corre...
COLCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
Using a combination of machine learning probabilistic tools, we have shown that some chemistry students fail to develop productive problem solving strategies through practice alon...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
ESORICS
2004
Springer
14 years 26 days ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...