6020 search results - page 1185 / 1204 » A New Approach to Model Counting |
102
click to vote
DAC
1998
ACM
16 years 2 months ago
1998
ACM
In this paper we present a new global router appropriate for Multichip Module MCM and dense Printed Circuit Board PCB design, which utilizes a hybrid of the classical rip-up and r...
120
click to vote
ICML
2004
IEEE
16 years 2 months ago
2004
IEEE
In many real-world classification problems the input contains a large number of potentially irrelevant features. This paper proposes a new Bayesian framework for determining the r...
104
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...
103
Voted
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Breaking news often contains timely definitions and descriptions of current terms, organizations and personalities. We utilize such web sources to construct definitions for such t...
190
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...