1140 search results - page 190 / 228 » Progress on Certifying Algorithms |
DICTA
2003
13 years 11 months ago
2003
Abstract This paper presents a segmentation technique based on prediction and adaptive region merging. While many techniques for segmentation exist, few of them are suited for the ...
AAAI
1998
13 years 11 months ago
1998
Probabilistic models have recently been utilized for the optimization of large combinatorial search problems. However, complex probabilistic models that attempt to capture interpa...
BMCBI
2010
13 years 10 months ago
2010
Background: There are many important clustering questions in computational biology for which no satisfactory method exists. Automated clustering algorithms, when applied to large,...
BMCBI
2010
13 years 10 months ago
2010
Background: Matrix metalloproteinases (MMPs) are well-known biological targets implicated in tumour progression, homeostatic regulation, innate immunity, impaired delivery of pro-...
JAIR
2006
13 years 10 months ago
2006
Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, ...