Sciweavers

8728 search results - page 1526 / 1746
» On Reduct Construction Algorithms
Sort
View
RE
2005
Springer
15 years 11 months ago
An Algebraic Framework for Merging Incomplete and Inconsistent Views
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
Mehrdad Sabetzadeh, Steve M. Easterbrook
VMCAI
2005
Springer
15 years 11 months ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
ESA
2005
Springer
135views Algorithms» more  ESA 2005»
15 years 11 months ago
Approximation Complexity of min-max (Regret) Versions of Shortest Path, Spanning Tree, and Knapsack
This paper investigates, for the first time in the literature, the approximation of min-max (regret) versions of classical problems like shortest path, minimum spanning tree, and ...
Hassene Aissi, Cristina Bazgan, Daniel Vanderpoote...
ASPLOS
2004
ACM
15 years 11 months ago
Deconstructing storage arrays
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
Timothy E. Denehy, John Bent, Florentina I. Popovi...
JCDL
2004
ACM
102views Education» more  JCDL 2004»
15 years 11 months ago
Multi-modal classification in digital news libraries
This paper describes a comprehensive approach to construct robust multi-modal video classification on a specific digital source, broadcast news. Broadcast news has a very stable s...
Ming-yu Chen, Alexander G. Hauptmann
« Prev « First page 1526 / 1746 Last » Next »