Sciweavers

2956 search results - page 317 / 592
» Targeted Data Prefetching
Sort
View
SIGMOD
2007
ACM
149views Database» more  SIGMOD 2007»
16 years 4 months ago
A data-oriented survey of context models
Context-aware systems are pervading everyday life, therefore context modeling is becoming a relevant issue and an expanding research field. This survey has the goal to provide a c...
Cristiana Bolchini, Carlo Curino, Elisa Quintarell...
ICSE
2005
IEEE-ACM
16 years 4 months ago
Testing database transactions with AGENDA
AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for popul...
Yuetang Deng, Phyllis G. Frankl, David Chays
DCC
2003
IEEE
16 years 3 months ago
Unequal Loss Protection for H.263 Compressed Video
We study the application of Unequal Loss Protection (ULP) algorithms to motion-compensated video over lossy packet networks. In particular, we focus on streaming video applications...
Justin Goshi, Richard E. Ladner, Eve A. Riskin, Al...
ICPR
2010
IEEE
15 years 11 months ago
Person Detection Using Temporal and Geometric Context with a Pan Tilt Zoom Camera
—In this paper we present a system that integrates automatic camera geometry estimation and object detection from a Pan Tilt Zoom camera. We estimate camera pose with respect to ...
Alberto Del Bimbo, Giuseppe Lisanti, Iacopo Masi, ...
FLOPS
2010
Springer
15 years 10 months ago
Code Generation via Higher-Order Rewrite Systems
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
Florian Haftmann, Tobias Nipkow