Sciweavers

4971 search results - page 179 / 995
» Observation systems
Sort
View
MSS
2000
IEEE
79views Hardware» more  MSS 2000»
15 years 10 months ago
A Scalable Architecture for Maximizing Concurrency
This paper describes a design that addresses limitations inherent in the initial implementation of the Archive for the Earth Observing Systems (EOS). The design consists of two el...
Jonathan Crawford
145
Voted
ECSQARU
1995
Springer
15 years 9 months ago
Model-Based Diagnostics Using Hints
It is often possible to describe the correct functioning of a system by a mathematical model. As long as observations or measurements correspond to the predictions made by the mod...
Jürg Kohlas, Paul-André Monney, Rolf H...
IFIP
2000
Springer
15 years 9 months ago
Information Systems Conceptual Foundations: Looking Backward and Forward
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
Gordon B. Davis
171
Voted
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
16 years 6 days ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
152
Voted
STOC
1997
ACM
111views Algorithms» more  STOC 1997»
15 years 10 months ago
The Swendsen-Wang Process Does Not Always Mix Rapidly
The Swendsen-Wang process provides one possible dynamics for the Qstate Potts model in statistical physics. Computer simulations of this process are widely used to estimate the ex...
Vivek Gore, Mark Jerrum