Sciweavers

29082 search results - page 254 / 5817
» The Time-Triggered Model of Computation
Sort
View
ESOP
2005
Springer
16 years 3 days ago
Computationally Sound, Automated Proofs for Security Protocols
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
Véronique Cortier, Bogdan Warinschi
ICMI
2003
Springer
99views Biometrics» more  ICMI 2003»
15 years 11 months ago
Selective perception policies for guiding sensing and computation in multimodal systems: a comparative analysis
Intensive computations required for sensing and processing perceptual information can impose significant burdens on personal computer systems. We explore several policies for sel...
Nuria Oliver, Eric Horvitz
JPDC
2006
120views more  JPDC 2006»
15 years 6 months ago
HeteroMPI: Towards a message-passing library for heterogeneous networks of computers
The paper presents Heterogeneous MPI (HeteroMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the applicati...
Alexey L. Lastovetsky, Ravi Reddy
GRAMMARS
2002
119views more  GRAMMARS 2002»
15 years 6 months ago
Computational Complexity of Probabilistic Disambiguation
Recent models of natural language processing employ statistical reasoning for dealing with the ambiguity of formal grammars. In this approach, statistics, concerning the various li...
Khalil Sima'an
ECCV
2002
Springer
16 years 8 months ago
Automatic Model Selection by Modelling the Distribution of Residuals
Timothy F. Cootes, Neil A. Thacker, Christopher J....