6020 search results - page 1175 / 1204 » A New Approach to Model Counting |
125
click to vote
CC
2009
Springer
15 years 6 months ago
2009
Springer
Single-assignment languages with copy semantics have a very simple and approachable programming model. A na¨ıve implementation of the copy semantics that copies the result of eve...
138
click to vote
ICFP
2000
ACM
15 years 6 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
128
click to vote
SIGMOD
1999
ACM
15 years 6 months ago
1999
ACM
Classification is an important data mining problem. Given a training database of records, each tagged with a class label, the goal of classification is to build a concise model ...
110
click to vote
FOSSACS
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
ISCA
1996
IEEE
15 years 6 months ago
1996
IEEE
In an effort to push the envelope of system performance, microprocessor designs are continually exploiting higher levels of instruction-level parallelism, resulting in increasing ...