Sciweavers

4604 search results - page 553 / 921
» Analysis of Negotiation Dynamics
Sort
View
ESORICS
2007
Springer
16 years 29 days ago
Adaptive Soundness of Static Equivalence
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
Steve Kremer, Laurent Mazaré
IBPRIA
2007
Springer
16 years 29 days ago
Locating and Segmenting 3D Deformable Objects by Using Clusters of Contour Fragments
Abstract. This paper presents a new approach to the problem of simultaneous location and segmentation of object in images. The main emphasis is done on the information provided by ...
Manuel J. Marín-Jiménez, Nicolas P&e...
SCIA
2007
Springer
108views Image Analysis» more  SCIA 2007»
16 years 28 days ago
Single View Motion Tracking by Depth and Silhouette Information
In this work1 a combination of depth and silhouette information is presented to track the motion of a human from a single view. Depth data is acquired from a Photonic Mixer Device ...
Daniel Grest, Volker Krüger, Reinhard Koch
SEMWEB
2007
Springer
16 years 28 days ago
Towards Scalable Information Spaces
Abstract. Recent work in the field of middleware technology proposes semantic spaces as a tool for coping with the scalability, heterogeneity and dynamism issues of large scale di...
Reto Krummenacher, Elena Paslaru Bontas Simperl, D...
CSFW
2006
IEEE
16 years 26 days ago
Games for Controls
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
Krishnendu Chatterjee, Radha Jagadeesan, Corin Pit...