63 search results - page 12 / 13 » Minimizing NFA's and Regular Expressions |
MFCS
2009
Springer
14 years 3 months ago
2009
Springer
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deļ...
BMCBI
2005
13 years 8 months ago
2005
Background: Accurate diagnosis of cancer subtypes remains a challenging problem. Building classifiers based on gene expression data is a promising approach; yet the selection of n...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
Named entity recognition studies the problem of locating and classifying parts of free text into a set of predeļ¬ned categories. Although extensive research has focused on the de...
IPMI
2007
Springer
14 years 9 months ago
2007
Springer
In this paper we propose a novel non-rigid volume registration based on discrete labeling and linear programming. The proposed framework reformulates registration as a minimal path...
FOSSACS
2009
Springer
14 years 13 days ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...