6258 search results - page 312 / 1252 » Applied Text Generation |
125
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
We present a new proof that languages generated by (non extended) H systems with finite sets of axioms and rules are regular.
144
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The number of sequenced eukaryotic genomes is rapidly increasing. This means that over time it will be hard to keep supplying customised gene finders for each genome. ...
282
click to vote
LPAR
2012
Springer
14 years 13 days ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
167
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
Boosting is a remarkably simple and flexible classification algorithm with widespread applications in computer vision. However, the application of boosting to nonEuclidean, infini...
147
click to vote
PERCOM
2009
ACM
16 years 5 months ago
2009
ACM
Abstract--Presence, broadly defined as an event publishnotification infrastructure for converged applications, has emerged as a key mechanism for collecting and disseminating conte...