3457 search results - page 442 / 692 » A Symbol Is Not a Symbol |
260
click to vote
STRINGOLOGY
2008
15 years 8 months ago
2008
A synchronizing word of a deterministic automaton is a word in the alphabet of colors (considered as letters) of its edges that maps the automaton to a single state. A coloring of...
175
click to vote
AAAI
2004
15 years 8 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
175
click to vote
ACL
2006
15 years 8 months ago
2006
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...
179
click to vote
CATS
2006
15 years 8 months ago
2006
Learning from examples is an important characteristic feature of intelligence in both natural and artificial intelligent agents. In this paper, we study learnability of term rewri...
172
click to vote
EV
2006
15 years 8 months ago
2006
This paper draws attention to the need of a systematic approach to introducing electronic voting systems and presents empirical results from a pilot project by the Provincia Autono...