10891 search results - page 1961 / 2179 » Combining Model Reductions |
100
click to vote
FUIN
2000
15 years 15 days ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
135
click to vote
DEBU
2002
15 years 15 days ago
2002
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
117
click to vote
ENTCS
2002
15 years 15 days ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
116
Voted
JCNS
2000
15 years 14 days ago
2000
The classical view of cortical information processing is that of a bottom-up process in a feedforward hierarchy. However, psychophysical, anatomical, and physiological evidence sug...
114
click to vote
ML
2000
ACM
15 years 14 days ago
2000
ACM
This paper discusses a novel distributed adaptive algorithm and representation used to construct populations of adaptive Web agents. These InfoSpiders browse networked information ...