11063 search results - page 233 / 2213 » On the existence of universal models |
207
click to vote
DL
1999
Springer
15 years 11 months ago
1999
Springer
We demonstrate a prototype distributed architecture for a digital library, using technology being developed under the MIX Project at the San Diego Supercomputer Center (SDSC) and ...
161
click to vote
CTCS
1997
Springer
15 years 10 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...
165
click to vote
ECOOP
1994
Springer
15 years 10 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
152
click to vote
IADIS
2004
15 years 8 months ago
2004
The world trends indicate that a very high number of university students have access to a mobile phone. Is it time to integrate SMS-based mobile learning into a flexible learning ...
132
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents new lower and upper bounds for the optimal compression of binary prefix codes in terms of the most probable input symbol, where compression efficiency is determ...