Sciweavers

1067 search results - page 96 / 214
» Problem Solving in the DISCO Constraint Database System
Sort
View
DKE
2002
113views more  DKE 2002»
14 years 9 months ago
A general strategy for decomposing topological invariants of spatial databases and an application
Topological invariants of spatial databases (i.e., finite structures that capture the topological properties of the database) are receiving increasing attention since they can act...
Serafino Cicerone, Daniele Frigioni, Paolino Di Fe...
ENTCS
2008
112views more  ENTCS 2008»
14 years 10 months ago
Residual for Component Specifications
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
Jean-Baptiste Raclet
CIA
2006
Springer
15 years 1 months ago
Coverage Density as a Dominant Property of Large-Scale Sensor Networks
Large-scale sensor networks are becoming more present in our life then ever. Such an environment could be a cellular network, an array of fire detection sensors, an array of solar ...
Osher Yadgar, Sarit Kraus
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 2 months ago
Stabilization of networked control systems via non-monotone control ^lyapunov functions
— This paper deals with stabilization of networked control systems (NCS) affected by uncertain time-varying delays and data packet dropouts. We point out that such network effect...
Rob H. Gielen, Mircea Lazar
EDBT
2006
ACM
120views Database» more  EDBT 2006»
15 years 10 months ago
Query Planning in the Presence of Overlapping Sources
Navigational queries on Web-accessible life science sources pose unique query optimization challenges. The objects in these sources are interconnected to objects in other sources, ...
Jens Bleiholder, Samir Khuller, Felix Naumann, Lou...