2944 search results - page 101 / 589 » On Well Quasi-orders on Languages |
106
Voted
COGSCI
2004
15 years 17 days ago
2004
Disfluencies include editing terms such as uh and um as well as repeats and revisions. Little is known about how disfluencies are processed, and there has been next to no research...
189
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM
The predominant thread-based approach to concurrent programming is bug-prone, difficult to reason about, and does not scale well to large numbers of processors. Sieves provide a s...
74
Voted
SIGADA
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
92
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
133
Voted
AIR
2004
15 years 17 days ago
2004
This paper reviews the current state of the art in Natural Language Processing for Hebrew, both theoretical and practical. The Hebrew language, like other Semitic languages, poses...