Sciweavers

2996 search results - page 152 / 600
» Information Modeling in the Time of the Revolution
Sort
View
CRYPTO
2004
Springer
91views Cryptology» more  CRYPTO 2004»
15 years 12 months ago
Non-interactive Timestamping in the Bounded Storage Model
A timestamping scheme is non-interactive if a stamper can stamp a document without communicating with any other player. The only communication done is at validation time. Non-Inte...
Tal Moran, Ronen Shaltiel, Amnon Ta-Shma
IJCAI
1989
15 years 7 months ago
A Model for Projection and Action
In designing autonomous agents that deal competently with issues involving time and space, there is a tradeoff to be made between guaranteed response-time reactions on the one han...
Keiji Kanazawa, Thomas Dean
INTERSPEECH
2010
15 years 1 months ago
FSM-based pronunciation modeling using articulatory phonological code
According to articulatory phonology, the gestural score is an invariant speech representation. Though the timing schemes, i.e., the onsets and offsets, of the gestural activations...
Chi Hu, Xiaodan Zhuang, Mark Hasegawa-Johnson
CIMCA
2005
IEEE
16 years 4 days ago
OntoBayes: An Ontology-Driven Uncertainty Model
— This paper describes an ontology-driven model, which integrates Bayesian Networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes...
Yi Yang, Jacques Calmet
CAV
2003
Springer
154views Hardware» more  CAV 2003»
15 years 11 months ago
Structural Symbolic CTL Model Checking of Asynchronous Systems
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
Gianfranco Ciardo, Radu Siminiceanu