129
Voted
CPM
2000
Springer
15 years 7 months ago
2000
Springer
Breakpoint phylogenies methods have been shown to be an effective way to extract phylogenetic information from gene order data. Currently, the only practical breakpoint phylogeny a...
123
Voted
CP
2000
Springer
15 years 7 months ago
2000
Springer
The ability to reduce either the number of variables or clauses in instances of the Satisfiability problem (SAT) impacts the expected computational effort of solving a given instan...
119
Voted
CP
2000
Springer
15 years 7 months ago
2000
Springer
140
Voted
CP
2000
Springer
15 years 7 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
149
Voted
CVPR
1998
IEEE
15 years 7 months ago
1998
IEEE
Most of behavior recognition methods proposed so far share the limitations of bottom-up analysis, and singleobject assumption; the bottom-up analysis can be confused by erroneous ...