Sciweavers

1679 search results - page 101 / 336
» Variability and Component Composition
Sort
View
SAT
2010
Springer
158views Hardware» more  SAT 2010»
13 years 11 months ago
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Dave A. D. Tompkins, Holger H. Hoos
CDC
2009
IEEE
155views Control Systems» more  CDC 2009»
13 years 11 months ago
Improved independent component regression modeling
The conventional independent component regression (ICR), as an exclusive two-step implementation algorithm, has the risk similar to principal component regression (PCR). That is, t...
Chunhui Zhao, Furong Gao, Tao Liu, Fuli Wang
ISBI
2007
IEEE
14 years 2 months ago
Quantification and Visualization of Localized and Intuitive Shape Variability Using a Novel Medial-Based Shape Representation
Quantification and visualization of anatomical shape variability in different populations is essential for diagnosis and tracking progression of diseases. We present a new 3D med...
Ghassan Hamarneh, Aaron D. Ward, Richard Frank
DSN
2009
IEEE
14 years 2 months ago
I-JVM: a Java Virtual Machine for component isolation in OSGi
The OSGi framework is a Java-based, centralized, component oriented platform. It is being widely adopted as an execution environment for the development of extensible applications...
Nicolas Geoffray, Gaël Thomas, Gilles Muller,...
MICCAI
2007
Springer
14 years 8 months ago
Sources of Variability in MEG
Abstract. This paper investigates and characterizes sources of variability in MEG signals in multi-site, multi-subject studies. Understanding these sources will help to develop eff...
Matti Hämäläinen, Polina Golland, W...