Sciweavers

551 search results - page 90 / 111
» Continuous Search in Constraint Programming
Sort
View
ISPD
2009
ACM
126views Hardware» more  ISPD 2009»
14 years 2 months ago
A new algorithm for simultaneous gate sizing and threshold voltage assignment
Gate sizing and threshold voltage (Vt) assignment are popular techniques for circuit timing and power optimization. Existing methods, by and large, are either sensitivity-driven h...
Yifang Liu, Jiang Hu
CP
1999
Springer
13 years 12 months ago
The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization
In this paper we present a Lagrange-multiplier formulation of discrete constrained optimization problems, the associated discrete-space first-order necessary and sufficient condit...
Benjamin W. Wah, Zhe Wu
COMPSAC
2004
IEEE
13 years 11 months ago
Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
Wei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin...
DAGM
2006
Springer
13 years 11 months ago
Visual Hand Posture Recognition in Monocular Image Sequences
We present a model-based method for hand posture recognition in monocular image sequences that measures joint angles, viewing angle, and position in space. Visual markers in form o...
Thorsten Dick, Jörg Zieren, Karl-Friedrich Kr...
ECAI
2004
Springer
14 years 1 months ago
IPSS: A Hybrid Reasoner for Planning and Scheduling
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
María Dolores Rodríguez-Moreno, Ange...