408 search results - page 59 / 82 » Quantitative Models and Implicit Complexity |
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
We present an automated algorithm for tissue segmentation of noisy, low contrast magnetic resonance (MR) images of the brain. We use a mixture model composed of a large number of G...
CHARME
1997
Springer
13 years 11 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
AI
2008
Springer
13 years 7 months ago
2008
Springer
It is well known that classical set theory is not expressive enough to adequately model categorization and prototype theory. Recent work on compositionality and concept determinat...
TCS
2008
13 years 7 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
INFSOF
2000
13 years 7 months ago
2000
Distributed object architectures and Java are important for building modern, scalable, web-enabled applications. This paper is focused on qualitative and quantitative comparison o...