Sciweavers

2703 search results - page 81 / 541
» Working Class Hero
Sort
View
ACL
2010
13 years 8 months ago
Understanding the Semantic Structure of Noun Phrase Queries
Determining the semantic intent of web queries not only involves identifying their semantic class, which is a primary focus of previous works, but also understanding their semanti...
Xiao Li
CVPR
2009
IEEE
15 years 5 months ago
Discriminative Structure Learning of Hierarchical Representations for Object Detection
A variety of flexible models have been proposed to detect objects in challenging real world scenes. Motivated by some of the most successful techniques, we propose a hierarchica...
Paul Schnitzspan (TU Darmstadt), Mario Fritz (Univ...
SECON
2007
IEEE
14 years 4 months ago
On the Prevalence of Sensor Faults in Real-World Deployments
—Various sensor network measurement studies have reported instances of transient faults in sensor readings. In this work, we seek to answer a simple question: How often are such ...
Abhishek Sharma, Leana Golubchik, Ramesh Govindan
IH
2007
Springer
14 years 4 months ago
Software Integrity Checking Expressions (ICEs) for Robust Tamper Detection
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
Mariusz H. Jakubowski, Prasad Naldurg, Vijay Patan...
SAS
2004
Springer
123views Formal Methods» more  SAS 2004»
14 years 3 months ago
Non-termination Inference for Constraint Logic Programs
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
Étienne Payet, Frédéric Mesna...