913 search results - page 98 / 183 » Full Abstraction for Linda |
ECTEL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. During the last years a series of repositories containing learning contents for architecture have been created. With all the repositories financed, designed, implemented...
ESORICS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. While the idea of database outsourcing is becoming increasingly popular, the associated security risks still prevent many potential users from deploying it. In particular...
ISVC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Image-based full body 3D reconstruction for tele-immersive applications generates large amount of data points, which have to be sent through the network in real-time. In ...
ISVC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present a markerless real-time, model-based 3D face tracking methodology. The system combines two robust and complimentary optimization-based strategies, namely active...
KI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...