7055 search results - page 1325 / 1411 » Some New 4-Designs |
114
click to vote
ALT
1998
Springer
15 years 5 months ago
1998
Springer
An index for an r.e. class of languages (by definition) generates a sequence of grammars defining the class. An index for an indexed family of recursive languages (by definition) ...
139
click to vote
ELPUB
1998
ACM
15 years 5 months ago
1998
ACM
The rapid growth in all forms of electronic publishing is creating many new problems – both technical and socio-economic. This paper examines some of these from three different ...
95
Voted
AUSAI
1998
Springer
15 years 5 months ago
1998
Springer
Agent-based computing in Arti cial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. Agents, in the sense we are using it...
111
click to vote
CADE
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
174
click to vote
SIGCOMM
1998
ACM
15 years 5 months ago
1998
ACM
Several recent proposals for an “active networks” architecture advocate the placement of user-defined computation within the network as a key mechanism to enable a wide range...