Sciweavers

935 search results - page 8 / 187
» A Framework for Obfuscated Interpretation
Sort
View
IJCAI
2003
15 years 1 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
16 years 1 days 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»
15 years 1 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»
15 years 6 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»
14 years 10 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