450 search results - page 52 / 90 » Satisfiability with Exponential Families |
106
click to vote
ICDM
2008
IEEE
15 years 6 months ago
2008
IEEE
In recent years, co-clustering has emerged as a powerful data mining tool that can analyze dyadic data connecting two entities. However, almost all existing co-clustering techniqu...
STACS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Ordered binary decision diagrams (OBDDs) nowadays belong to the most common representation types for Boolean functions. Although they allow important operations such as s...
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
103
click to vote
EUROCOLT
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Recent works have shown the advantage of using Active Learning methods, such as the Query by Committee (QBC) algorithm, to various learning problems. This class of Algori...
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...