Sciweavers

2899 search results - page 317 / 580
» Dynamic Trees in Practice
Sort
View
AIMSA
2006
Springer
15 years 7 months ago
A Knowledge-Based Approach for Automatic Generation of Summaries of Behavior
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
Martín Molina, Victor Flores
ECAI
2006
Springer
15 years 7 months ago
CTL Model Update: Semantics, Computations and Implementation
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
Yulin Ding, Yan Zhang
VLDB
2000
ACM
136views Database» more  VLDB 2000»
15 years 7 months ago
Managing Intervals Efficiently in Object-Relational Databases
Modern database applications show a growing demand for efficient and dynamic management of intervals, particularly for temporal and spatial data or for constraint handling. Common...
Hans-Peter Kriegel, Marco Pötke, Thomas Seidl
154
Voted
BILDMED
2008
212views Algorithms» more  BILDMED 2008»
15 years 5 months ago
3D Blood Flow Reconstruction from 2D Angiograms
A method for 3-d blood flow reconstruction is presented. Given a 3-d volume of a vessel tree and a 2-d sequence of angiograms, the propagation information can be back-projected int...
Esther-Sabrina Platzer, Frank Deinzer, Dietrich Pa...
122
Voted
EMNLP
2008
15 years 5 months ago
Coarse-to-Fine Syntactic Machine Translation using Language Projections
The intersection of tree transducer-based translation models with n-gram language models results in huge dynamic programs for machine translation decoding. We propose a multipass,...
Slav Petrov, Aria Haghighi, Dan Klein