531 search results - page 91 / 107 » A Better Algorithm for Random k-SAT |
BIOCOMP
2007
13 years 9 months ago
2007
Low-Complexity Regions (LCRs) of biological sequences are the main source of false positives in similarity searches for biological sequence databases. We consider the problem of ï...
AAAI
2004
13 years 9 months ago
2004
This paper examines the relative performance of additive and multiplicative clause weighting schemes for propositional satisfiability testing. Starting with one of the most recent...
IJCAI
2003
13 years 9 months ago
2003
Whenever people move through their environments they do not move randomly. Instead, they usually follow specific trajectories or motion patterns corresponding to their intentions....
ACCV
2009
Springer
13 years 9 months ago
2009
Springer
We propose a new robust estimator for parameter estimation in highly noisy data with multiple structures and without prior information on the noise scale of inliers. This is a diag...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...