10568 search results - page 501 / 2114 » Computer Intelligence and Formalization |
142
click to vote
ERSHOV
2003
Springer
16 years 3 days ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
173
click to vote
GCC
2003
Springer
16 years 3 days ago
2003
Springer
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
185
click to vote
ACL
1990
15 years 8 months ago
1990
We present a new grammatical formalism called Constraint Dependency Grammar (CDG) in which every grammatical rule is given as a constraint on wordto-word modifications. CDG parsin...