Sciweavers

3628 search results - page 343 / 726
» The Decision Diffie-Hellman Problem
Sort
View
ATAL
2004
Springer
16 years 4 days ago
Applying Distributed Adaptive Optimization to Digital Car Body Development
Abstract. Companies in today’s automotive industry are under immense competitive pressure to reduce the length of their product development cycle from initial concept to begin of...
Sven Brueckner, Richard Gerth
MATES
2004
Springer
16 years 2 days ago
Towards Models of Incomplete and Uncertain Knowledge of Collaborators' Internal Resources
Collaboration plays a critical role when a group is striving for goals which are difficult or impossible to achieve by an individual. Knowledge about collaborators’ contribution...
Christian Guttmann, Ingrid Zukerman
AVBPA
2003
Springer
100views Biometrics» more  AVBPA 2003»
15 years 12 months ago
Open World Face Recognition with Credibility and Confidence Measures
This paper describes a novel framework for the Open World face recognition problem, where one has to provide for the Reject option. Based upon algorithmic randomness and transducti...
Fayin Li, Harry Wechsler
CAV
2003
Springer
107views Hardware» more  CAV 2003»
15 years 12 months ago
Theorem Proving Using Lazy Proof Explication
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B...
ACIIDS
2010
IEEE
170views Database» more  ACIIDS 2010»
15 years 12 months ago
Moral Hazard Resolved by Common-Knowledge in S5n Logic
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...
Takashi Matsuhisa