1158 search results - page 202 / 232 » Approximation Algorithms for the Fixed-Topology Phylogenetic... |
VMCAI
2005
Springer
15 years 4 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
KDD
1999
ACM
15 years 3 months ago
1999
ACM
—Association rules are useful for determining correlations between attributes of a relation and have applications in the marketing, financial, and retail sectors. Furthermore, op...
112
Voted
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...
KDD
2007
ACM
15 years 11 months ago
2007
ACM
Clustering methods can be either data-driven or need-driven. Data-driven methods intend to discover the true structure of the underlying data while need-driven methods aims at org...
111
click to vote
EUROPAR
2005
Springer
15 years 4 months ago
2005
Springer
The model of moldable task (MT) was introduced some years ago and has been proved to be an efficient way for implementing parallel applications. It considers a target application ...