8671 search results - page 1416 / 1735 » A generator for hierarchical problems |
162
click to vote
PPDP
2005
Springer
16 years 9 days ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
150
click to vote
SSD
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we propose a novel approach to address the problem of change detection in time series data. Our approach is based on wavelet footprints proposed originally by the si...
187
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
182
click to vote
VLDB
2005
ACM
16 years 8 days ago
2005
ACM
A major challenge in frequent-pattern mining is the sheer size of its mining results. In many cases, a high min sup threshold may discover only commonsense patterns but a low one ...
170
click to vote
WABI
2005
Springer
16 years 8 days ago
2005
Springer
We give a new algorithm for the genotype phasing problem. Our solution is based on a hidden Markov model for haplotypes. The model has a uniform structure, unlike most solutions pr...