Sciweavers

1968 search results - page 261 / 394
» The Complexity of Valued Constraint Models
Sort
View
ISBI
2006
IEEE
15 years 10 months ago
Statistics of populations of images and its embedded objects: driving applications in neuroimaging
Work in progress towards modeling shape statistics of multiobject complexes is presented. Constraints defined by the set of objects such as a compact representation of object shap...
Guido Gerig, Sarang C. Joshi, P. Thomas Fletcher, ...
SMA
2003
ACM
154views Solid Modeling» more  SMA 2003»
15 years 3 months ago
Discretization of functionally based heterogeneous objects
The presented approach to discretization of functionally defined heterogeneous objects is oriented towards applications associated with numerical simulation procedures, for exampl...
Elena Kartasheva, Valery Adzhiev, Alexander A. Pas...
MICRO
2010
IEEE
173views Hardware» more  MICRO 2010»
14 years 8 months ago
Single-Chip Heterogeneous Computing: Does the Future Include Custom Logic, FPGAs, and GPGPUs?
To extend the exponential performance scaling of future chip multiprocessors, improving energy efficiency has become a first-class priority. Single-chip heterogeneous computing ha...
Eric S. Chung, Peter A. Milder, James C. Hoe, Ken ...
TACAS
2010
Springer
160views Algorithms» more  TACAS 2010»
14 years 7 months ago
Efficient Detection of Errors in Java Components Using Random Environment and Restarts
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
Pavel Parizek, Tomás Kalibera
ICASSP
2011
IEEE
14 years 1 months ago
Robust talking face video verification using joint factor analysis and sparse representation on GMM mean shifted supervectors
It has been previously demonstrated that systems based on block wise local features and Gaussian mixture models (GMM) are suitable for video based talking face verification due t...
Ming Li, Shrikanth Narayanan