6020 search results - page 803 / 1204 » A New Approach to Model Counting |
202
click to vote
EUROPAR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...
168
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
This paper deals with the adaptive variance scaling issue in continuous Estimation of Distribution Algorithms. A phenomenon is discovered that current adaptive variance scaling me...
178
click to vote
SOSE
2006
IEEE
16 years 22 days ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
165
click to vote
DATE
2005
IEEE
16 years 11 days ago
2005
IEEE
Overheating has been acknowledged as a major issue in testing complex SOCs. Several power constrained system-level DFT solutions (power constrained test scheduling) have recently ...
205
click to vote
ADC
2005
Springer
16 years 8 days ago
2005
Springer
The design and implementation of advanced personalized database applications requires a preference-driven approach. Representing preferences as strict partial orders is a good cho...