Sciweavers

2917 search results - page 201 / 584
» Satisfying Interaction Constraints
Sort
View
181
Voted
CVPR
2005
IEEE
16 years 8 months ago
Radon-Based Structure from Motion without Correspondences
We present a novel approach for the estimation of 3Dmotion directly from two images using the Radon transform. We assume a similarity function defined on the crossproduct of two i...
Ameesh Makadia, Christopher Geyer, Shankar Sastry,...
SIGSOFT
2009
ACM
16 years 7 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
SIGMOD
2005
ACM
228views Database» more  SIGMOD 2005»
16 years 7 months ago
ConQuer: Efficient Management of Inconsistent Databases
Although integrity constraints have long been used to maintain data consistency, there are situations in which they may not be enforced or satisfied. In this paper, we present Con...
Ariel Fuxman, Elham Fazli, Renée J. Miller
ICCAD
2007
IEEE
130views Hardware» more  ICCAD 2007»
16 years 3 months ago
Analysis and optimization of power-gated ICs with multiple power gating configurations
- Power gating is an efficient technique for reducing leakage power in electronic devices by disconnecting blocks idle for long periods of time from the power supply. Disconnecting...
Aida Todri, Malgorzata Marek-Sadowska, Shih-Chieh ...
EDBT
2009
ACM
104views Database» more  EDBT 2009»
16 years 1 months ago
A query processor for prediction-based monitoring of data streams
Networks of sensors are used in many different fields, from industrial applications to surveillance applications. A common feature of these applications is the necessity of a mo...
Sergio Ilarri, Ouri Wolfson, Eduardo Mena, Arantza...