Sciweavers

GIS
2010
ACM
13 years 9 months ago
Tolerance geometry: Euclid's first postulate for points and lines with extension
Object representation and reasoning in vector based geographic information systems (GIS) is based on Euclidean geometry. Euclidean geometry is built upon Euclid's first postu...
Gwen Wilke, Andrew U. Frank
GIS
2010
ACM
13 years 9 months ago
OpenSense: open community driven sensing of environment
This paper outlines a vision for community-driven sensing of our environment. At its core, community sensing is a dynamic new form of mobile geosensor network. We believe that com...
Karl Aberer, Saket Sathe, Dipanjan Chakraborty, Al...
GIS
2010
ACM
13 years 9 months ago
Privacy-preserving publication of trajectories using microaggregation
Josep Domingo-Ferrer, Michal Sramka, Rolando Truji...
GIS
2010
ACM
13 years 9 months ago
Moving forward: location privacy and location awareness
ended abstract looks forward at which shared concepts and approaches are shaping future research in the field of location privacy, as well as reflecting on the broader achievement...
Matt Duckham
GIS
2010
ACM
13 years 9 months ago
Show me how you move and I will tell you who you are
Sébastien Gambs, Marc-Olivier Killijian, Mi...
GIS
2010
ACM
13 years 9 months ago
Geolocation privacy and application platforms
Security and privacy issues for Location-Based Services (LBS) and geolocation-capable applications often revolve around designing a User Interface (UI) such that users are informe...
Nick Doty, Erik Wilde
DLOG
2010
13 years 9 months ago
Supporting the Development of Data Wrapping Ontologies (Extended Abstract)
es (Extended Abstract) Lina Lubyte and Sergio Tessaris KRDB Research Centre, Free University of Bozen-Bolzano
Lina Lubyte, Sergio Tessaris
DLOG
2010
13 years 9 months ago
Towards Formal Comparison of Ontology Linking, Mapping and Importing
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
Martin Homola, Luciano Serafini
DLOG
2010
13 years 9 months ago
Automata-Based Abduction for Tractable Diagnosis
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
Thomas Hubauer, Steffen Lamparter, Michael Pirker
DLOG
2010
13 years 9 months ago
An Algebraic Approach to Dynamic Epistemic Logic
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
Prakash Panangaden, Caitlin Phillips, Doina Precup...