Sciweavers

31 search results - page 4 / 7
» Causal Trees
Sort
View
UAI
2008
13 years 9 months ago
Efficient Inference in Persistent Dynamic Bayesian Networks
Numerous temporal inference tasks such as fault monitoring and anomaly detection exhibit a persistence property: for example, if something breaks, it stays broken until an interve...
Tomás Singliar, Denver Dash
ENTCS
2007
81views more  ENTCS 2007»
13 years 7 months ago
Self-assembling Trees
RCCS is a variant of Milner’s CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in t...
Vincent Danos, Jean Krivine, Fabien Tarissan
ACS
2008
13 years 7 months ago
Subobject Transformation Systems
Abstract Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pu...
Andrea Corradini, Frank Hermann, Pawel Sobocinski
HIPC
2007
Springer
14 years 1 months ago
P2P Document Tree Management in a Real-Time Collaborative Editing System
This paper presents our work in combining peer-to-peer dynamic tree management with hierarchical Operational Transformation (OT) over document trees to achieve low computational an...
Jon A. Preston, Sushil K. Prasad
ICPR
2002
IEEE
14 years 8 months ago
Fast Extraction of Tubular and Tree 3D Surfaces with Front Propagation Methods
We present a new fast approach for surface segmentation of thin structures, like vessels and vascular trees, based on Fast Marching and Level Sets methods. Fast Marching allows se...
Thomas Deschamps, Laurent D. Cohen