Sciweavers

11212 search results - page 1847 / 2243
» Semi-persistent Data Structures
Sort
View
169
Voted
APN
2004
Springer
15 years 11 months ago
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
Gianfranco Ciardo
COLT
2004
Springer
15 years 11 months ago
Regularization and Semi-supervised Learning on Large Graphs
We consider the problem of labeling a partially labeled graph. This setting may arise in a number of situations from survey sampling to information retrieval to pattern recognition...
Mikhail Belkin, Irina Matveeva, Partha Niyogi
ECCV
2004
Springer
15 years 11 months ago
Assessment of Intrathoracic Airway Trees: Methods and In Vivo Validation
Abstract. A method for quantitative assessment of tree structures is reported allowing evaluation of airway tree morphology and its associated function. Our skeletonization and bra...
Kálmán Palágyi, Juerg Tschirr...
136
Voted
EUROGP
2004
Springer
108views Optimization» more  EUROGP 2004»
15 years 11 months ago
Genetic Programming for Natural Language Parsing
Parsing and Tagging are very important tasks in Natural Language Processing. Parsing amounts to searching the correct combination of grammatical rules among those compatible with a...
Lourdes Araujo
164
Voted
FSTTCS
2004
Springer
15 years 11 months ago
Symbolic Reachability Analysis of Higher-Order Context-Free Processes
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
Ahmed Bouajjani, Antoine Meyer
« Prev « First page 1847 / 2243 Last » Next »