Sciweavers

1230 search results - page 60 / 246
» On Abstraction in Scenarios
Sort
View
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
14 years 1 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
AMAI
2007
Springer
13 years 10 months ago
Distance semantics for database repair
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
ECCV
2006
Springer
14 years 12 months ago
Generalized Multi-sensor Planning
Abstract. Vision systems for various tasks are increasingly being deployed. Although significant effort has gone into improving the algorithms for such tasks, there has been relati...
Anurag Mittal
ECCV
2002
Springer
14 years 11 months ago
Audio-Video Sensor Fusion with Probabilistic Graphical Models
Abstract. We present a new approach to modeling and processing multimedia data. This approach is based on graphical models that combine audio and video variables. We demonstrate it...
Matthew J. Beal, Hagai Attias, Nebojsa Jojic
EDBT
2006
ACM
124views Database» more  EDBT 2006»
14 years 10 months ago
Physical Design Refinement: The "Merge-Reduce" Approach
Abstract. Physical database design tools rely on a DBA-provided workload to pick an "optimal" set of indexes and materialized views. Such an approach fails to capture sce...
Nicolas Bruno, Surajit Chaudhuri