867 search results - page 23 / 174 » On Two Forms of Structural Recursion |
ENTCS
2006
15 years 13 days ago
2006
The three classical process algebras CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operato...
111
click to vote
ALT
2005
Springer
15 years 9 months ago
2005
Springer
In language learning, strong relationships between Gold-style models and query models have recently been observed: in some quite general setting Gold-style learners can be replaced...
111
Voted
GMP
2002
IEEE
15 years 5 months ago
2002
IEEE
We present new results on classifying the morphology of the nonsingular intersection curve of two quadrics by studying the roots of the characteristic equation, or the discriminan...
124
click to vote
ICPADS
1998
IEEE
15 years 4 months ago
1998
IEEE
We extend a torus-based coterie structure for distributed mutual exclusion to allow k multiple entries in a critical section. In the original coterie, the system nodes are logical...
106
click to vote
SIGCSE
2005
ACM
15 years 6 months ago
2005
ACM
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...