6155 search results - page 841 / 1231 » A language for multiple models of computation |
187
click to vote
ACCV
2006
Springer
16 years 25 days ago
2006
Springer
This paper addresses the problem of camera calibration using object silhouettes in image sequences. It is known that silhouettes encode information on camera parameters by the fact...
161
click to vote
ARITH
2005
IEEE
16 years 14 days ago
2005
IEEE
Recent research has demonstrated the vulnerability of certain smart card architectures to power and electromagnetic analysis when multiplier operations are insufficiently shielde...
189
Voted
ICCV
2005
IEEE
16 years 14 days ago
2005
IEEE
We describe a technique for reconstructing probable occluded surfaces from 3-D range images. The technique exploits the fact that many objects possess shape symmetries that can be...
184
click to vote
IEEESCC
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
157
click to vote
PODC
2005
ACM
16 years 12 days ago
2005
ACM
Abstract We study ways to restrict or prevent the damage that can be caused in a peer-to-peer network by corrupt entities creating multiple pseudonyms. We show that it is possible ...