Sciweavers

2050 search results - page 121 / 410
» constraints 2010
Sort
View
CORR
2010
Springer
117views Education» more  CORR 2010»
13 years 10 months ago
Evaluating and Improving Modern Variable and Revision Ordering Strategies in CSPs
A key factor that can dramatically reduce the search space during constraint solving is the criterion under which the variable to be instantiated next is selected. For this purpos...
Thanasis Balafoutis, Kostas Stergiou
JSS
2010
136views more  JSS 2010»
13 years 5 months ago
Automated diagnosis of feature model configurations
Software product-lines (SPLs) are software architectures that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rul...
Jules White, David Benavides, Douglas C. Schmidt, ...
DATE
2010
IEEE
129views Hardware» more  DATE 2010»
14 years 3 months ago
A power optimization method for CMOS Op-Amps using sub-space based geometric programming
—— A new sub-space max-monomial modeling scheme for CMOS transistors in sub-micron technologies is proposed to improve the modeling accuracy. Major electrical parameters of CMOS...
Wei Gao, Richard Hornsey
PAMI
2010
241views more  PAMI 2010»
13 years 5 months ago
Point Set Registration: Coherent Point Drift
We introduce Coherent Point Drift (CPD), a novel probabilistic method for nonrigid registration of point sets. The registration is treated as a Maximum Likelihood (ML) estimation ...
Andriy Myronenko, Xubo B. Song
MDM
2010
Springer
183views Communications» more  MDM 2010»
14 years 3 months ago
Dessy: Demonstrating Mobile Search and Synchronization
—The storage capacity of smartphones has reached tens of gigabytes, while the search functionality remains simple. We have designed a search and synchronization framework for mob...
Eemil Lagerspetz, Sasu Tarkoma, Tancred Lindholm