Sciweavers

1740 search results - page 122 / 348
» Minimal structures for stories
Sort
View
133
Voted
SAS
1999
Springer
116views Formal Methods» more  SAS 1999»
15 years 7 months ago
Decomposing Non-redundant Sharing by Complementation
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
AMW
2009
15 years 4 months ago
Consistent Query Answering in Data Warehouses
Abstract. A Data Warehouse (DW) is a data repository that organizes and physically integrates data from multiple sources under special kinds of schemas. A DW is composed by a set o...
Leopoldo E. Bertossi, Loreto Bravo, Mónica ...
JSAC
2006
131views more  JSAC 2006»
15 years 3 months ago
On Dynamic Optimization of Packet Matching in High-Speed Firewalls
Abstract--Packet matching plays a critical role in the performance of many network devices and a tremendous amount of research has already been invested to come up with better opti...
Hazem Hamed, Adel El-Atawy, Ehab Al-Shaer
137
Voted
JMIV
2007
145views more  JMIV 2007»
15 years 3 months ago
Level Lines Selection with Variational Models for Segmentation and Encoding
Abstract. This paper discusses the interest of the Tree of Shapes of an image as a region oriented image representation. The Tree of Shapes offers a compact and structured represen...
Coloma Ballester, Vicent Caselles, Laura Igual, Ll...
119
Voted
ISCI
2010
128views more  ISCI 2010»
15 years 2 months ago
Robust static output feedback controller synthesis using Kharitonov's theorem and evolutionary algorithms
This paper presents a simple but effective tuning strategy for robust static output feedback (SOF) controllers with minimal quadratic cost in the context of multiple parametric un...
Rosario Toscano, Patrick Lyonnet