Sciweavers

3047 search results - page 559 / 610
» A Temporal Consensus Model
Sort
View
DEBU
2002
161views more  DEBU 2002»
15 years 1 months ago
Indexing and Retrieval of Historical Aggregate Information about Moving Objects
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
Dimitris Papadias, Yufei Tao, Jun Zhang, Nikos Mam...
ENTCS
2002
145views more  ENTCS 2002»
15 years 1 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
JCNS
2000
168views more  JCNS 2000»
15 years 1 months ago
Integrating Top-Down and Bottom-Up Sensory Processing by Somato-Dendritic Interactions
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...
Markus Siegel, Konrad P. Körding, Peter K&oum...
ML
2000
ACM
150views Machine Learning» more  ML 2000»
15 years 1 months ago
Adaptive Retrieval Agents: Internalizing Local Context and Scaling up to the Web
This paper discusses a novel distributed adaptive algorithm and representation used to construct populations of adaptive Web agents. These InfoSpiders browse networked information ...
Filippo Menczer, Richard K. Belew
FMSD
2002
81views more  FMSD 2002»
15 years 1 months ago
A Notation and Logic for Mobile Computing
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
Gruia-Catalin Roman, Peter J. McCann