Sciweavers

2181 search results - page 193 / 437
» The restriction scaffold problem
Sort
View
FSTTCS
2004
Springer
15 years 10 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
ICWE
2004
Springer
15 years 10 months ago
Annotation for the Semantic Web During Website Development
While introducing the HTML standard to present information on the World Wide Web, the importance of being able to express the deep structure and meaning of the information was negl...
Peter Plessers, Olga De Troyer
LOPSTR
2004
Springer
15 years 10 months ago
Natural Rewriting for General Term Rewriting Systems
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
Santiago Escobar, José Meseguer, Prasanna T...
SSPR
2004
Springer
15 years 10 months ago
Bounds for the Average Generalization Error of the Mixture of Experts Neural Network
Abstract. In this paper we derive an upper bound for the average-case generalization error of the mixture of experts modular neural network, based on an average-case generalization...
Luís A. Alexandre, Aurélio C. Campil...
WABI
2004
Springer
107views Bioinformatics» more  WABI 2004»
15 years 10 months ago
Phylogenetic Super-networks from Partial Trees
—In practice, one is often faced with incomplete phylogenetic data, such as a collection of partial trees or partial splits. This paper poses the problem of inferring a phylogene...
Daniel H. Huson, Tobias Dezulian, Tobias H. Kl&oum...