Search Sciweavers | Sciweavers

26

RP
2009
Springer

124views Control Systems» more RP 2009»

Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order

14 years 2 months ago

Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...

Denis Lugiez

claim paper

Read More »

25

click to vote

FCT
2007
Springer

123views Applied Computing» more FCT 2007»

Complexity of Pebble Tree-Walking Automata

14 years 1 months ago

Download www.lsv.ens-cachan.fr

We consider tree-walking automata using k pebbles. The pebbles are either strong (can be lifted from anywhere) or weak (can be lifted only when the automaton is on it). For each k,...

Mathias Samuelides, Luc Segoufin

claim paper

Read More »

59

click to vote

AMW
2011

396views Knowledge Management» more AMW 2011»

A Direct Translation from XPath to Nondeterministic Automata

12 years 11 months ago

Download fox7.eu

Since navigational aspects of XPath correspond to ﬁrst-order deﬁnability, it has been proposed to use the analogy with the very successful technique of translating LTL into aut...

Nadime Francis, Claire David, Leonid Libkin

claim paper

Read More »

24

click to vote

ICCV
2011
IEEE

221views Computer Vision» more ICCV 2011»

Simultaneous Correspondence and Non-Rigid 3D Reconstruction of the Coronary Tree from Single X-ray Images

12 years 7 months ago

Download www.iri.upc.edu

We present a novel approach to simultaneously reconstruct the 3D structure of a non-rigid coronary tree and estimate point correspondences between an input X-ray image and a refer...

Eduard Serradell (Institut de Robotica i Informati...

claim paper

Read More »

16

click to vote

ORL
2006

45views more ORL 2006»

Source location with rigidity and tree packing requirements

13 years 7 months ago