Sciweavers

935 search results - page 8 / 187
» A Framework for Obfuscated Interpretation
Sort
View
IJCAI
2003
13 years 8 months ago
A Logic-based Algorithm for Image Sequence Interpretation and Anchoring
This paper describes a logic-based framework for interpretation of sequences of scenes captured by a stereo vision system of a mobile robot. An algorithm for anchoring and interpr...
Paulo Santos, Murray Shanahan
CADE
2007
Springer
14 years 7 months ago
Logical Interpretation: Static Program Analysis Using Theorem Proving
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
Ashish Tiwari, Sumit Gulwani
ANLP
2000
115views more  ANLP 2000»
13 years 8 months ago
An Empirical Assessment of Semantic Interpretation
We introduce a framework for semantic interpretation in which dependency structures are mapped to conceptual representations based on a parsimonious set of interpretation schemata...
Martin Romacker, Udo Hahn
CNSR
2007
IEEE
124views Communications» more  CNSR 2007»
14 years 1 months ago
Evaluation Framework of Location Privacy of Wireless Mobile Systems with Arbitrary Beam Pattern
Position localization of transmitters can be carried out by an adversary owning a network of pervasive receivers, which can pinpoint the victim mobile nodes’ locations with high...
Ford-Long Wong, Min Lin, Shishir Nagaraja, Ian J. ...
TKDE
2010
370views more  TKDE 2010»
13 years 5 months ago
Anonymous Query Processing in Road Networks
—The increasing availability of location-aware mobile devices has given rise to a flurry of location-based services (LBS). Due to the nature of spatial queries, an LBS needs the...
Kyriakos Mouratidis, Man Lung Yiu