834 search results - page 58 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
OTM
2010
Springer
14 years 10 months ago
2010
Springer
The problem of polysemy involves having terms, such as “truck”, that refer to multiple concepts in different contexts; and conversely, having the same concept referred to with...
109
click to vote
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
101
click to vote
ICPR
2010
IEEE
14 years 9 months ago
2010
IEEE
The expectation maximization (EM) algorithm is widely used in the Gaussian mixture model (GMM) as the state-of-art statistical modeling technique. Like the classical EM method, th...
STACS
2010
Springer
15 years 6 months ago
2010
Springer
A cellular automaton (CA) is a parallel synchronous computing model, which consists in a juxtaposition of finite automata (cells) whose state evolves according to that of their ne...
132
click to vote
ISBI
2004
IEEE
16 years 16 days ago
2004
IEEE
This paper presents a Bayesian framework for generating inverse-consistent inter-subject large deformation transformations between two multi-modal image sets of the brain. In this...