Sciweavers

2254 search results - page 283 / 451
» Computing the minimal covering set
Sort
View
AUTOMATICA
2004
113views more  AUTOMATICA 2004»
15 years 6 months ago
Ellipsoidal bounds for uncertain linear equations and dynamical systems
In this paper, we discuss semidefinite relaxation techniques for computing minimal size ellipsoids that bound the solution set of a system of uncertain linear equations. The propo...
Giuseppe Carlo Calafiore, Laurent El Ghaoui
TPDS
2002
136views more  TPDS 2002»
15 years 6 months ago
Automatic Partitioning of Parallel Loops with Parallelepiped-Shaped Tiles
In this paper, an efficient algorithm to implement loop partitioning is introduced and evaluated. We start from results of Agarwal et al. [1] whose aim is to minimize the number of...
Fabrice Rastello, Yves Robert
DMS
2010
123views Multimedia» more  DMS 2010»
15 years 5 months ago
SICSDA: an Adaptive Configurable Distributed Software Architecture Applied to Satellite Control Missions
This work was proposed as a Doctoral Thesis of Applied Computing Course at Brazilian National Institute for Space Research (INPE) and is a ongoing work. The main purpose of SICSDA ...
Adriana Cursino Thome, Maurício Gonç...
ORL
2010
85views more  ORL 2010»
15 years 5 months ago
Stable routing under the Spanning Tree Protocol
The Spanning Tree Protocol routes traffic on shortest path trees. If some edges fail, the traffic has to be rerouted consequently, setting up alternative trees. In this paper we d...
Fabrizio Grandoni, Gaia Nicosia, Gianpaolo Oriolo,...
DLOG
2010
15 years 4 months ago
Correcting Access Restrictions to a Consequence
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...
Martin Knechtel, Rafael Peñaloza