1302 search results - page 155 / 261 » Soundness in the Public-Key Model |
172
click to vote
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
162
click to vote
ENTCS
2006
15 years 6 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
157
click to vote
CSL
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a new approach to speech synthesis in which a set of cross-word decision-tree state-clustered context-dependent hidden Markov models are used to define a set o...
163
click to vote
MT
2010
15 years 4 months ago
2010
Recent advances in statistical machine translation have used approximate beam search for NP-complete inference within probabilistic translation models. We present an alternative ap...
188
click to vote
EOR
2007
15 years 6 months ago
2007
This paper proposes a theoretical framework for predicting financial distress based on Hunt’s (2000) Resource-Advantage Theory of Competition. The study focuses on the US retail...