10568 search results - page 501 / 2114 » Computer Intelligence and Formalization |
258
Voted
MONET
2011
14 years 8 months ago
2011
140
Voted
MP
2011
14 years 8 months ago
2011
105
Voted
ERSHOV
2003
Springer
15 years 10 months 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...
137
Voted
GCC
2003
Springer
15 years 10 months 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...
146
Voted
ACL
1990
15 years 6 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...