Sciweavers

432 search results - page 27 / 87
» Internally deterministic parallel algorithms can be fast
Sort
View
ESA
2009
Springer
106views Algorithms» more  ESA 2009»
15 years 6 months ago
Fast Evaluation of Interlace Polynomials on Graphs of Bounded Treewidth
Abstract. We consider the multivariate interlace polynomial introduced by Courcelle (2008), which generalizes several interlace polynomials defined by Arratia, Bollob´as, and Sor...
Markus Bläser, Christian Hoffmann
JAIR
2006
179views more  JAIR 2006»
14 years 11 months ago
The Fast Downward Planning System
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, ...
Malte Helmert
CONCUR
2006
Springer
15 years 1 months ago
Inference of Event-Recording Automata Using Timed Decision Trees
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
Olga Grinchtein, Bengt Jonsson, Paul Pettersson
ICS
2000
Tsinghua U.
15 years 3 months ago
Fast greedy weighted fusion
Loop fusion is important to optimizing compilers because it is an important tool in managing the memory hierarchy. By fusing loops that use the same data elements, we can reduce t...
Ken Kennedy
104
Voted
ICCV
2001
IEEE
16 years 1 months ago
JetStream: Probabilistic Contour Extraction with Particles
The problem of extracting continuous structures from noisy or cluttered images is a difficult one. Successful extraction depends critically on the ability to balance prior constra...
Andrew Blake, Michel Gangnet, Patrick Pérez