8094 search results - page 1572 / 1619 » Improvements in Formula Generalization |
89
Voted
JAIR
2002
15 years 11 days ago
2002
Recent trends in planning research have led to empirical comparison becoming commonplace. The eld has started to settle into a methodology for such comparisons, which for obvious ...
109
Voted
CGA
1999
15 years 11 days ago
1999
displays to abstract network data and let users interactwithit.Wehaveimplementedafull-scaleSwift3D prototype, which generated the examples we present here. Swift-3D We developed Sw...
119
Voted
NAR
2002
15 years 11 days ago
2002
The prediction of operons, the smallest unit of transcription in prokaryotes, is the first step towards reconstruction of a regulatory network at the whole genome level. Sequence ...
110
Voted
SIAMCOMP
1998
15 years 10 days ago
1998
This paper continues the investigation of the connection between probabilistically checkable proofs (PCPs) and the approximability of NP-optimization problems. The emphasis is on p...
108
Voted
SIGIR
2002
ACM
15 years 10 days ago
2002
ACM
In this paper, we propose a document clustering method that strives to achieve: (1) a high accuracy of document clustering, and (2) the capability of estimating the number of clus...