Sciweavers

1743 search results - page 214 / 349
» Generalized Modal Satisfiability
Sort
View
ICDE
2002
IEEE
116views Database» more  ICDE 2002»
16 years 5 months ago
SCADDAR: An Efficient Randomized Technique to Reorganize Continuous Media Blocks
Scalable storage architectures allow for the addition of disks to increase storage capacity and/or bandwidth. In its general form, disk scaling also refers to disk removals when e...
Ashish Goel, Cyrus Shahabi, Shu-Yuen Didi Yao, Rog...
ICPR
2008
IEEE
16 years 5 months ago
Parametric video compression using appearance space
The novelty of the approach presented in this paper is the unique object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods...
Santanu Chaudhury, Subarna Tripathi, Sumantra Dutt...
GIS
2005
ACM
16 years 4 months ago
Visualizing the results of interactive queries for geographic data on mobile devices
The capabilities of current mobile computing devices such as PDAs and mobile phones are making it possible to design and develop mobile GIS applications that provide users with ge...
Stefano Burigat, Luca Chittaro
DAC
2009
ACM
16 years 4 months ago
Thermal-driven analog placement considering device matching
With the thermal effect, improper analog placements may degrade circuit performance because the thermal impact from power devices can affect electrical characteristics of the ther...
Po-Hung Lin, Hongbo Zhang, Martin D. F. Wong, Yao-...
DAC
2008
ACM
16 years 4 months ago
Automatic synthesis of clock gating logic with controlled netlist perturbation
Clock gating is the insertion of combinational logic along the clock path to prevent the unnecessary switching of registers and reduce dynamic power consumption. The conditions un...
Aaron P. Hurst