1580 search results - page 29 / 316 » CoTeSys - Cognition for Technical Systems |
129
click to vote
EVOTING
2004
15 years 7 months ago
2004
: Past research on Internet voting has been concentrated on two aspects. First, there are investigations to find the appropriate balance between anonymity and authentication. Secon...
148
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
151
click to vote
CIVR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper outlines the technical details of a prototype system for searching and browsing over a million images from the World Wide Web using their visual contents. The ...
139
click to vote
CLEF
2007
Springer
16 years 5 days ago
2007
Springer
This paper describes the work done by the RFIA group at the Departamento de Sistemas Inform´aticos y Computaci´on of the Universidad Polit´ecnica of Valencia for the 2007 editio...
151
click to vote
COORDINATION
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...