4502 search results - page 223 / 901 » Regular Model Checking |
183
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
166
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
3D Bayesian regularization applied to diffusion tensor MRI is presented here. The approach uses Markov Random Field ideas and is based upon the definition of a 3D neighborhood syst...
194
Voted
ESORICS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
134
click to vote
ESANN
2000
15 years 7 months ago
2000
In modelling the development of the oculomotor control system using neural networks, it is important to determine the appropriate cost function on which to train the models. Whilst...
145
click to vote
ACL
2010
15 years 4 months ago
2010
We present a novel framework for word alignment that incorporates synonym knowledge collected from monolingual linguistic resources in a bilingual probabilistic model. Synonym inf...