Sciweavers

3775 search results - page 67 / 755
» The Expression Problem Revisited
Sort
View
WIA
2009
Springer
15 years 7 months ago
Short Regular Expressions from Finite Automata: Empirical Results
We continue our work [H. Gruber, M. Holzer: Provably shorter regular expressions from deterministic finite automata (extended ). In Proc. DLT, LNCS 5257, 2008] on the problem of ...
Hermann Gruber, Markus Holzer, Michael Tautschnig
127
Voted
LPAR
2001
Springer
15 years 5 months ago
Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
Volker Diekert, Paul Gastin
PRIB
2009
Springer
147views Bioinformatics» more  PRIB 2009»
15 years 7 months ago
Cross-Platform Analysis with Binarized Gene Expression Data
Abstract. With widespread use of microarray technology as a potential diagnostics tool, the comparison of results obtained from the use of different platforms is of interest. When...
Salih Tuna, Mahesan Niranjan
86
Voted
ICCS
2007
Springer
15 years 7 months ago
An Inferential Approach to the Generation of Referring Expressions
This paper presents a Conceptual Graph (cg) framework to the Generation of Referring Expressions (gre). Employing Conceptual Graphs as the underlying formalism allows a new rigorou...
Madalina Croitoru, Kees van Deemter
GECCO
2005
Springer
133views Optimization» more  GECCO 2005»
15 years 6 months ago
Parsing and translation of expressions by genetic programming
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
David Jackson