6155 search results - page 828 / 1231 » A language for multiple models of computation |
175
click to vote
SEKE
2004
Springer
16 years 6 days ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
192
click to vote
CONCUR
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
160
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, stochastic error-correcting parsing is proposed as a powerful and flexible method to post-process the results of an optical character recognizer (OCR). Determinist...
160
click to vote
ACL
2008
15 years 8 months ago
2008
Researchers typically evaluate word prediction using keystroke savings, however, this measure is not straightforward. We present several complications in computing keystroke savin...
151
click to vote
AAAI
1994
15 years 8 months ago
1994
This paper conjectures a computational account of how children might learn the meanings of words in their native language. First, a simplified version of the lexical acquisition t...