263 search results - page 40 / 53 » Discrete Symbol Calculus |
MYCRYPT
2005
Springer
15 years 5 months ago
2005
Springer
This article presents optimization results on the recent MOVA undeniable signature scheme presented by Monnerat and Vaudenay at PKC ’04 as well as its generalization proposed at ...
TIME
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
122
click to vote
AMDO
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we describe a recognition approach based on the notion of primitives. As opposed to recognizing actions based on temporal trajectories or temporal volumes, primitive-...
90
Voted
SPATIALCOGNITION
2000
Springer
15 years 3 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
IJCAI
2007
15 years 1 months ago
2007
In human-robot interaction (HRI) it is essential that the robot interprets and reacts to a human’s utterances in a manner that reflects their intended meaning. In this paper we...