11168 search results - page 1897 / 2234 » Abstract State Processes |
148
click to vote
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
157
click to vote
ACCV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper introduces a new model-based approach for simultaneously reconstructing 3D human motion and full-body skeletal size from a small set of 2D image features track...
143
click to vote
ACML
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In experimental design, a standard approach for distinguishing experimentally induced effects from unwanted effects is to design control measurements that differ only ...
118
click to vote
ACNS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Being able to access and provide Internet services anonymously is an important mechanism to ensure freedom of speech in vast parts of the world. Offering location-hidden...
127
click to vote
ADBIS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In moving object databases, many authors assume that number and position of objects to be processed are always known in advance. Detecting an unknown moving object and pu...