5465 search results - page 72 / 1093 » Assigning Types to Processes |
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Asynchronous automata are parallel compositions of finitestate processes synchronizing over shared variables. A deep theorem due to Zielonka says that every regular trac...
FLAIRS
2007
15 years 5 days ago
2007
Text classification remains one of the major fields of research in natural language processing. This paper evaluates the use of the computational tool Coh-Metrix as a means to dis...
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...
SYNASC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
IFL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...