Sciweavers

3954 search results - page 67 / 791
» Image-based Model Completion
Sort
View
114
Voted
SBP
2012
Springer
13 years 10 months ago
Modeling Infection with Multi-agent Dynamics
Developing the ability to comprehensively study infections in small populations enables us to improve epidemic models and better advise individuals about potential risks to their h...
Wen Dong, Katherine Heller, Alex Pentland
AML
2007
87views more  AML 2007»
15 years 2 months ago
Preservation theorems for bounded formulas
In this paper we naturally define when a theory has bounded quantifier elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each...
Morteza Moniri
118
Voted
EUROMICRO
2006
IEEE
15 years 8 months ago
Real-Time Modelling of Distributed Component-Based Applications
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
Patricia López Martínez, Julio L. Me...
KDD
2002
ACM
184views Data Mining» more  KDD 2002»
16 years 3 months ago
Associative Classifiers for Medical Images
This paper presents two classification systems for medical images based on association rule mining. The system we propose consists of: a pre-processing phase, a phase for mining th...
Alexandru Coman, Maria-Luiza Antonie, Osmar R. Za&...
114
Voted
ISBI
2007
IEEE
15 years 8 months ago
An Effective and Efficient Technique for Searching for Similar Brain Activation Patterns
In this paper, we introduce a new approach for content-based similarity search for brain images. Based on the keyblock representation, our framework employs the Principal Componen...
Jingjing Zhang, Vasileios Megalooikonomou