Sciweavers

5634 search results - page 200 / 1127
» About Abstract Classes
Sort
View
GEOS
2007
Springer
15 years 5 months ago
Applying Spatial Reasoning to Topographical Data with a Grounded Geographical Ontology
Abstract. Grounding an ontology upon geographical data has been proposed as a method of handling the vagueness in the domain more effectively. In order to do this, we require meth...
David Mallenby, Brandon Bennett
AMAST
2004
Springer
15 years 4 months ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
EUC
2004
Springer
15 years 4 months ago
Location-Aware Information Retrieval for Mobile Computing
Abstract. With the knowledge about their locations, mobile users are able to issue location-dependent queries. Most of existing approaches focus on how to obtain the information ab...
Jiannong Cao, Kwok Ming Chan, Geoffrey Yu-Kai Shea...
TYPES
2004
Springer
15 years 4 months ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
CIA
2003
Springer
15 years 4 months ago
Meta-reasoning for Agents' Private Knowledge Detection
Abstract. Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There i...
Jan Tozicka, Jaroslav Barta, Michal Pechoucek