6047 search results - page 170 / 1210 » Modeling with Extend |
140
click to vote
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
The paper presents a model of visual attention combined with eye tracking to drive content-based retrieval of image data in order to facilitate understanding and development of ne...
105
click to vote
DIS
2003
Springer
15 years 7 months ago
2003
Springer
We present Scilog, an experimental knowledge base to facilitate scientific discovery and reasoning. Scilog extends Prolog by supporting (1) dedicated predicates for specifying and ...
109
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
126
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
152
click to vote
NIPS
2003
15 years 3 months ago
2003
In this paper we introduce a new underlying probabilistic model for principal component analysis (PCA). Our formulation interprets PCA as a particular Gaussian process prior on a ...