5465 search results - page 367 / 1093 » Assigning Types to Processes |
122
click to vote
SSIAI
2002
IEEE
15 years 9 months ago
2002
IEEE
In order to adequately process satellite and radar information, it is necessary to find the exact correspondence between different types of images and between these images and th...
128
click to vote
SPIN
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
121
click to vote
COLING
2008
15 years 6 months ago
2008
We introduce a new type of discourse constraints for the interaction of discourse relations with the configuration of discourse segments. We examine corpus-extracted examples as s...
110
click to vote
CLIN
2001
15 years 6 months ago
2001
In this paper we present a definition of Performance Grammar (PG), a psycholinguistically motivated syntax formalism, in declarative terms. PG aims not only at describing and expl...
143
click to vote
ECIS
2000
15 years 6 months ago
2000
Two different types of development tasks are distinguished: Clear and unclear development tasks. Based on hypotheses from organizational theory two different designs of software d...