Sciweavers

1757 search results - page 269 / 352
» Secure Content Validation
Sort
View
ICRA
2007
IEEE
170views Robotics» more  ICRA 2007»
15 years 5 months ago
Space-time A Contrario Clustering for Detecting Coherent Motions
Abstract— This paper presents a method for detecting independent temporally-persistent motion patterns in image sequences. The result is a description of the dynamic content of a...
Thomas Veit, Frédéric Cao, Patrick B...
ICMCS
2006
IEEE
191views Multimedia» more  ICMCS 2006»
15 years 5 months ago
Semantic Multimedia Retrieval using Lexical Query Expansion and Model-Based Reranking
We present methods for improving text search retrieval of visual multimedia content by applying a set of visual models of semantic concepts from a lexicon of concepts deemed relev...
Alexander Haubold, Apostol Natsev, Milind R. Napha...
WSE
2006
IEEE
15 years 5 months ago
Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
Yonggang Zhang, René Witte, Juergen Rilling...
ACL2
2006
ACM
15 years 5 months ago
Reasoning about ACL2 file input
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
Jared Davis
ICDCS
2005
IEEE
15 years 4 months ago
A Spatiotemporal Query Service for Mobile Users in Sensor Networks
This paper presents MobiQuery, a spatiotemporal query service that allows mobile users to periodically gather information from their surrounding areas through a wireless sensor ne...
Chenyang Lu, Guoliang Xing, Octav Chipara, Chien-L...