1891 search results - page 135 / 379 » Constrained Subspace Modelling |
HVC
2005
Springer
15 years 3 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
MIR
2006
ACM
15 years 4 months ago
2006
ACM
This paper introduces a content-based information retrieval method inspired by the ideas of spreading activation models. In response to a given query, the proposed approach comput...
AIPR
2002
IEEE
15 years 3 months ago
2002
IEEE
Conventional remote sensing classification techniques that model the data in each class with a multivariate Gaussian distribution are inefficient, as this assumption is generally ...
MICCAI
2005
Springer
15 years 11 months ago
2005
Springer
An approach to the deformable registration of three-dimensional brain tumor images to a normal brain atlas is presented. The approach involves the integration of three components:...
DAC
2009
ACM
15 years 4 months ago
2009
ACM
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...