Sciweavers

3995 search results - page 555 / 799
» Linearization of hybrid processes
Sort
View
SAT
2005
Springer
138views Hardware» more  SAT 2005»
16 years 2 days ago
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization
The utilization of cutting planes is a key technique in Integer Linear Programming (ILP). However, cutting planes have seldom been applied in Pseudo-Boolean Optimization (PBO) algo...
Vasco M. Manquinho, João P. Marques Silva
DAC
2004
ACM
16 years 1 days ago
Fast and accurate parasitic capacitance models for layout-aware
Considering layout effects early in the analog design process is becoming increasingly important. We propose techniques for estimating parasitic capacitances based on look-up tabl...
Anuradha Agarwal, Hemanth Sampath, Veena Yelamanch...
ADC
2004
Springer
147views Database» more  ADC 2004»
16 years 12 hour ago
Clustering Moving Objects for Spatio-temporal Selectivity Estimation
Many spatio-temporal applications involve managing and querying moving objects. In such an environment, predictive spatio-temporal queries become an important query class to be pr...
Qing Zhang, Xuemin Lin
EUROGP
2004
Springer
106views Optimization» more  EUROGP 2004»
15 years 12 months ago
The Evolution of Concurrent Control Software Using Genetic Programming
Despite considerable progress in GP over the past 10 years, there are many outstanding challenges that need to be addressed before it will be widely deployed for developing useful ...
John Hart, Martin J. Shepperd
ICBA
2004
Springer
172views Biometrics» more  ICBA 2004»
15 years 12 months ago
Hallucinating Face by Eigentransformation with Distortion Reduction
Abstract. In this paper, we propose a face hallucination method using eigentransformation with distortion reduction. Different from most of the proposed methods based on probabilis...
Xiaogang Wang, Xiaoou Tang