Sciweavers

156 search results - page 26 / 32
» The Expressivity of Quantifying over Regions
Sort
View
ECCV
2008
Springer
16 years 9 hour ago
Beyond Nouns: Exploiting Prepositions and Comparative Adjectives for Learning Visual Classifiers
Learning visual classifiers for object recognition from weakly labeled data requires determining correspondence between image regions and semantic object classes. Most approaches u...
Abhinav Gupta, Larry S. Davis
ECCV
2004
Springer
16 years 9 hour ago
Face Recognition with Local Binary Patterns
In this work, we present a novel approach to face recognition which considers both shape and texture information to represent face images. The face area is first divided into small...
Abdenour Hadid, Matti Pietikäinen, Timo Ahone...
INFOCOM
2006
IEEE
15 years 4 months ago
Impact of Mobility on the Performance of Relaying in Ad Hoc Networks
— We consider a mobile ad hoc network consisting of three types of nodes: source, destination, and relay nodes. All the nodes are moving over a bounded region with possibly diffe...
Ahmad Al Hanbali, Arzad Alam Kherani, Robin Groene...
AH
2004
Springer
15 years 3 months ago
On the Dynamic Generation of Compound Critiques in Conversational Recommender Systems
Conversational recommender systems help to guide users through a product-space towards a particular product that meets their specific requirements. During the course of a “conve...
Kevin McCarthy, James Reilly, Lorraine McGinty, Ba...
CAV
1999
Springer
125views Hardware» more  CAV 1999»
15 years 2 months ago
Model Checking of Safety Properties
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
Orna Kupferman, Moshe Y. Vardi