Sciweavers

10406 search results - page 350 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
FORTE
2010
15 years 6 months ago
Forgetting the Time in Timed Process Algebra
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
Anton Wijs
CVPR
2001
IEEE
16 years 6 months ago
Using Robust Methods for Automatic Extraction of Buildings
We present a system for modeling buildings from a single correlation-based Digital Elevation Model (DEM). The model is constructed in two stages. The first stage segments the DEM ...
Christophe Vestri, Frederic Devernay
ICMAS
2000
15 years 6 months ago
Reasoning About Others: Representing and Processing Infinite Belief Hierarchies
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
Sviatoslav Brainov, Tuomas Sandholm
EDBTW
2004
Springer
15 years 10 months ago
L-Tree: A Dynamic Labeling Structure for Ordered XML Data
With the ever growing use of XML as a data representation format, we see an increasing need for robust, high performance XML database systems. While most of the recent work focuses...
Yi Chen, George A. Mihaila, Rajesh Bordawekar, Sri...
FGCN
2007
IEEE
119views Communications» more  FGCN 2007»
15 years 11 months ago
A Novel Adaptive Load Shedding Scheme for Data Stream Processing
In this paper, we present a novel feedback control-based load shedding scheme for data stream processing. Firstly we apply system identification to establish a dynamic model to de...
Yunyi Zhang, Chongzheng Huang, Deyun Zhang