305 search results - page 17 / 61 » From External to Internal Regret |
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper introduces a complete pipeline of image processing methods in order to analyze and track the internal structures of a composite material. As a first step, input Xray im...
CVPR
2010
IEEE
2010
IEEE
Simultaneous surveillance camera calibration and foot-head homology estimation from human detections
14 years 1 months ago
We propose a novel method for automatic camera calibration and foot-head homology estimation by observing persons standing at several positions in the camera field of view. We de...
TRUST
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Credential platforms implemented on top of Trusted Execution Environments3 (TrEEs) allow users to store and use their credentials, e.g., cryptographic keys or user passwo...
IFIP13
2004
13 years 9 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...