Sciweavers

43264 search results - page 44 / 8653
» Comparing models of computation
Sort
View
FUIN
2006
142views more  FUIN 2006»
13 years 8 months ago
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewia...
NAR
2006
86views more  NAR 2006»
13 years 8 months ago
MODBASE: a database of annotated comparative protein structure models and associated resources
MODBASE (http://salilab.org/modbase) is a relational database of annotated comparative protein structure models for all available protein sequences matched to at least one known p...
Ursula Pieper, Narayanan Eswar, Fred P. Davis, Han...
SIGDIAL
2010
13 years 6 months ago
Comparing Local and Sequential Models for Statistical Incremental Natural Language Understanding
Incremental natural language understanding is the task of assigning semantic representations to successively larger prefixes of utterances. We compare two types of statistical mod...
Silvan Heintze, Timo Baumann, David Schlangen
ICIAR
2005
Springer
14 years 2 months ago
A Comparative Study of Skin-Color Models
In this paper, we report the results of a comparative study on skin-color models generally used for facial region location. These include two 2D Gaussian models developed in normal...
Juwei Lu, Qian Gu, Konstantinos N. Plataniotis, Ji...
EMNLP
2004
13 years 10 months ago
Comparing and Combining Generative and Posterior Probability Models: Some Advances in Sentence Boundary Detection in Speech
We compare and contrast two different models for detecting sentence-like units in continuous speech. The first approach uses hidden Markov sequence models based on N-grams and max...
Yang Liu, Andreas Stolcke, Elizabeth Shriberg, Mar...