4894 search results - page 691 / 979 » The Guarding Problem - Complexity and Approximation |
121
Voted
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
117
click to vote
EUROCRYPT
2000
Springer
15 years 6 months ago
2000
Springer
We exhibit an attack against a signature scheme recently proposed by Gennaro, Halevi and Rabin [9]. The scheme's security is based on two assumptions namely the strong RSA ass...
128
Voted
ISSAC
1995
Springer
15 years 6 months ago
1995
Springer
This paper introduces singular value decomposition (SVD) algorithms for some standard polynomial computations, in the case where the coefficients are inexact or imperfectly known....
95
Voted
SIGGRAPH
1995
ACM
15 years 6 months ago
1995
ACM
This paper presents new solutions to the following three problems in image morphing: feature specification, warp generation, and transition control. To reduce the burden of featu...
140
Voted
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents a novel approach to single-frame pedestrian classification and orientation estimation. Unlike previous work which addressed classification and orientation sepa...