Sciweavers

2962 search results - page 143 / 593
» Optimizing Spatial Data Structures For Static Data
Sort
View
PVLDB
2010
184views more  PVLDB 2010»
15 years 25 days ago
TimeTrails: A System for Exploring Spatio-Temporal Information in Documents
Spatial and temporal data have become ubiquitous in many application domains such as the Geosciences or life sciences. Sophisticated database management systems are employed to ma...
Jannik Strötgen, Michael Gertz
118
Voted
HVC
2007
Springer
106views Hardware» more  HVC 2007»
15 years 6 months ago
Exploiting Shared Structure in Software Verification Conditions
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
Domagoj Babic, Alan J. Hu
119
Voted
CIIT
2004
117views Communications» more  CIIT 2004»
15 years 3 months ago
Quality assessment for H.264 coded low-rate and low-resolution video sequences
This article concentrates on a quality assessment for H.264 coded low-rate and low-resolution video sequences which are in particular of interest for mobile communication. The cho...
Olivia Nemethova, Michal Ries, Markus Rupp, Eduard...
DATE
2000
IEEE
134views Hardware» more  DATE 2000»
15 years 6 months ago
An on Chip ADC Test Structure
In this paper, a new built-in self-test structure to test the static specifications of analog to digital converters (ADCs) is presented. A ramp signal generated by an integrator ...
Yun-Che Wen, Kuen-Jong Lee
SEMWEB
2009
Springer
15 years 7 months ago
Enrichment and Ranking of the YouTube Tag Space and Integration with the Linked Data Cloud
The increase of personal digital cameras with video functionality and video-enabled camera phones has increased the amount of user-generated videos on the Web. People are spending ...
Smitashree Choudhury, John G. Breslin, Alexandre P...