1257 search results - page 89 / 252 » A generalization of Euler's constant |
CSL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Agents operating in the real world have to deal with a constantly changing and only partially predictable environment and are nevertheless expected to choose reasonable actions qui...
SRDS
2003
IEEE
14 years 2 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
COMPGEOM
2003
ACM
14 years 2 months ago
2003
ACM
We consider two variants of the well-known “sailor in the fog” puzzle. The first version (the “asteroid surveying” problem) is set in three dimensions and asks for the sh...
ICPR
2010
IEEE
14 years 1 months ago
2010
IEEE
Covariance matrices have recently been a popular choice for versatile tasks like recognition and tracking due to their powerful properties as local descriptor and their low comput...