Sciweavers

1147 search results - page 141 / 230
» Termination in language-based systems
Sort
View
107
Voted
TES
2000
Springer
15 years 4 months ago
Web Services and Information Delivery for Diverse Environments
There is a growing need for techniques that provide alternative means to access Web content and services, be it the ability to browse the Web through a voice interface like the Ph...
Juliana Freire, Bharat Kumar
104
Voted
DOOD
1995
Springer
102views Database» more  DOOD 1995»
15 years 4 months ago
Active Database Rules with Transaction-Conscious Stable-Model Semantics
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
Carlo Zaniolo
DAC
1994
ACM
15 years 4 months ago
Probabilistic Analysis of Large Finite State Machines
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fab...
98
Voted
HIS
2008
15 years 2 months ago
Learning Spatial Grammars for Drawn Documents Using Genetic Algorithms
The problem of object recognition may be cast into a spatial grammar framework. This system comprises three novel elements: a spatial organisation of line features, an efficient t...
Simon J. Hickinbotham, Anthony G. Cohn
96
Voted
ACL
2006
15 years 2 months ago
Learning Accurate, Compact, and Interpretable Tree Annotation
We present an automatic approach to tree annotation in which basic nonterminal symbols are alternately split and merged to maximize the likelihood of a training treebank. Starting...
Slav Petrov, Leon Barrett, Romain Thibaux, Dan Kle...