63 search results - page 12 / 13 » Minimizing NFA's and Regular Expressions |
163
click to vote
MFCS
2009
Springer
16 years 17 days 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ļ...
197
click to vote
BMCBI
2005
15 years 6 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...
159
click to vote
WWW
2010
ACM
16 years 1 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...
169
click to vote
IPMI
2007
Springer
16 years 6 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...
157
click to vote
FOSSACS
2009
Springer
15 years 10 months 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 ...