741 search results - page 113 / 149 » Robust Constraint Solving Using Multiple Heuristics |
131
click to vote
EDCC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
PATAT
2000
Springer
15 years 5 months ago
2000
Springer
The main aim of this paper is to consider university examination timetabling problems as multicriteria decision problems. A new multicriteria approach to solving such problems is p...
116
click to vote
TCAD
2010
14 years 8 months ago
2010
Abstract--In sub-100 nm CMOS processes, delay and leakage power reduction continue to be among the most critical design concerns. We propose to exploit the recent availability of f...
122
click to vote
WACV
2005
IEEE
15 years 7 months ago
2005
IEEE
— In this work, we present a formalization of the video synchronization problem that exposes new variants of the problem that have been left unexplored to date. We also present a...
144
click to vote
KSEM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Support Vector Machines (SVM) have been applied successfully in a wide variety of fields in the last decade. The SVM problem is formulated as a convex objective function...