Sciweavers

8008 search results - page 193 / 1602
» Computer-Aided Language Processing
Sort
View
84
Voted
FM
2009
Springer
90views Formal Methods» more  FM 2009»
15 years 9 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...
99
Voted
CONCUR
1999
Springer
15 years 7 months ago
Statecharts Via Process Algebra
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
Gerald Lüttgen, Michael von der Beeck, Rance ...
136
Voted
IPPS
1999
IEEE
15 years 7 months ago
Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications
In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...
C. T. H. Everaars, Barry Koren, Farhad Arbab
135
Voted
KONVENS
2000
15 years 6 months ago
Processing Self Corrections
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...
Jörg Spilker, Martin Klarner, Günther G&...