2542 search results - page 35 / 509 » An Operational Definition of Context |
109
click to vote
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
124
click to vote
KES
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
118
Voted
TSMC
2008
15 years 11 days ago
2008
The need to merge multiple sources of uncertain information is an important issue in many application areas, especially when there is potential for contradictions between sources. ...
100
Voted
GEOINFO
2003
15 years 1 months ago
2003
This paper describes the implementation of a workflow management system to support mobile GIS workgroup applications and highlights the design of the workflow definition language t...
200
click to vote
GIS
2008
ACM
16 years 1 months ago
2008
ACM
It has been pointed out repeatedly that spatial operations must be extended to include support for 3D and moving objects. The attempt to code by hand each spatial operation for ea...