6020 search results - page 926 / 1204 » A New Approach to Model Counting |
170
click to vote
CEC
2005
IEEE
16 years 5 days ago
2005
IEEE
In previous work, we have proposed a novel approach to data clustering based on the explicit optimization of a partitioning with respect to two complementary clustering objectives ...
166
click to vote
CIMCA
2005
IEEE
16 years 5 days ago
2005
IEEE
Minimal Switching Graph (MSG) is a graphical model for the constrained via minimization problem — a combinatorial optimization problem in integrated circuit design automation. F...
164
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
- In this paper, a method is presented for finding a pixel transformation function that minimizes the backlight intensity while maintaining a pre-specified image distortion level f...
160
click to vote
HICSS
2005
IEEE
16 years 5 days ago
2005
IEEE
Over the past decades, large organisations have developed increasingly complex portfolios of information systems to support business processes. Maintenance and leveraging of these...
170
click to vote
ICDAR
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper describes the development of a new document ranking system based on layout similarity. The user has a need represented by a set of ”wanted” documents, and the syste...