10891 search results - page 1557 / 2179 » Combining Model Reductions |
166
click to vote
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
Automatic detection of image orientation is a very important operation in photo image management. In this paper, we propose an automated method based on the boosting algorithm to ...
188
click to vote
DEON
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...
163
click to vote
LORI
2009
Springer
15 years 10 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
179
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
156
Voted
EUROCRYPT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...