1643 search results - page 70 / 329 » Consistability: Describing Usually Consistent Systems |
FORTE
1993
14 years 11 months ago
1993
In this paper, we propose an incremental construction approach for distributed system specifications. These specifications are structured as a parallel composition of subsystem sp...
IVC
2000
14 years 9 months ago
2000
In this paper, we propose a model-based method to analyze the human walking motion. This system consists of three phases: the preprocessing phase, the model construction phase, an...
MICCAI
2000
Springer
15 years 1 months ago
2000
Springer
We describe a novel robotic endoscope system. It can be used to observe a wide area without moving or bending the endoscope. The system consists of a laparoscope with zoom facility...
AUTOMATICA
2010
14 years 8 months ago
2010
In this paper we present an efficient approach for the fault detection of discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservabl...
118
click to vote
AGILE
2007
Springer
2007
Springer
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
15 years 4 months ago
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...