3267 search results - page 467 / 654 » Computational Models of Language Acquisition |
124
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...
142
click to vote
CONCUR
2003
Springer
15 years 9 months 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...
110
click to vote
ACL
2008
15 years 6 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...
137
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
147
click to vote
GW
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a method of image processing used in a mono-vision system in order to study semiotic gestures. We present a robust method to track the hands and face of a perso...