Sciweavers

5699 search results - page 788 / 1140
» Alternating model trees
Sort
View
GIS
2007
ACM
16 years 7 months ago
Recognizing cars in aerial imagery to improve orthophotos
The automatic creation of 3D models of urban spaces has become a very active field of research. This has been inspired by recent applications in the location-awareness on the Inte...
Franz Leberl, Horst Bischof, Helmut Grabner, Stefa...
POPL
2009
ACM
16 years 7 months ago
Types and higher-order recursion schemes for verification of higher-order programs
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
Naoki Kobayashi
CHI
2009
ACM
16 years 7 months ago
Predicting shoppers' interest from social interactions using sociometric sensors
Marketing research has longed for better ways to measure consumer behavior. In this paper, we explore using sociometric data to study social behaviors of group shoppers. We hypoth...
James Begole, Maurice Chu, Oliver Brdiczka, Taemie...
OSDI
2004
ACM
16 years 7 months ago
Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...
Ira Cohen, Jeffrey S. Chase, Julie Symons, Mois&ea...
CVPR
2010
IEEE
16 years 2 months ago
Locally-Parametric Pictorial Structures
Pictorial structure (PS) models are extensively used for part-based recognition of scenes, people, animals and multi-part objects. To achieve tractability, the structure and param...
Benjamin Sapp, Chris Jordan, Ben Taskar