5122 search results - page 34 / 1025 » Comparing Consequence Relations |
WABI
2009
Springer
14 years 2 months ago
2009
Springer
Recent high throughput sequencing technologies are capable of generating a huge amount of data for bacterial genome sequencing projects. Although current sequence assemblers succes...
ICDM
2003
IEEE
14 years 1 months ago
2003
IEEE
We experimentally evaluate randomization-based approaches to creating an ensemble of decision-tree classifiers. Unlike methods related to boosting, all of the eight approaches co...
CSL
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. We study the succinctness of monadic second-order logic and a variety of monadic fixed point logics on trees. All these languages are known to have the same expressive p...
SPIN
1999
Springer
13 years 12 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
OOPSLA
1992
Springer
13 years 11 months ago
1992
Springer
Generational garbage collectors are able to achieve very small pause times by concentrating on the youngest (most recently allocated) objects when collecting, since objects have b...