5275 search results - page 789 / 1055 » Computing by observing |
155
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
178
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
167
click to vote
GCC
2005
Springer
16 years 6 days ago
2005
Springer
One of the key problems with virtual organizations in the context of the (Semantic) Grid is we don’t know how to describe the components used in virtual organizations because the...
173
click to vote
GCC
2005
Springer
16 years 6 days ago
2005
Springer
DarGridⅡ is an implemented database gird system whose goal is to provide a semantic solution for integrating database resources on the web. Although many algorithms have been pro...
170
click to vote
GECCO
2005
Springer
16 years 6 days ago
2005
Springer
Superresolution is the process of producing a high resolution image from a collection of low resolution images. This process has potential application in a wide spectrum of fields...