6020 search results - page 1195 / 1204 » A New Approach to Model Counting |
111
Voted
ICES
2001
Springer
15 years 4 months ago
2001
Springer
This paper introduces the concept of polymorphic electronics (polytronics) –referring to electronics with superimposed built-in functionality. A function change does not require ...
95
Voted
SAGA
2001
Springer
15 years 4 months ago
2001
Springer
Inductive inference can be considered as one of the fundamental paradigms of algorithmic learning theory. We survey results recently obtained and show their impact to potential ap...
INFOCOM
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper suggests that, to match an ideal Internet gateway which rigorously enforces fair sharing among competing TCP connections, an ideal TCP sender should possess two propert...
95
Voted
VLDB
1998
ACM
15 years 3 months ago
1998
ACM
Classification is an important problem in data mining. Given a database of records, each with a class label, a classifier generates a concise and meaningful description for each c...
130
click to vote
ELPUB
2007
ACM
15 years 3 months ago
2007
ACM
For national advisory services in the UK (UKOLN, CETIS, and OSS Watch), varieties of openness (open source software, open standards, and open access to research publications and d...