4609 search results - page 352 / 922 » Automatic Generation of Sigma-Protocols |
197
click to vote
IJISTA
2010
15 years 5 months ago
2010
—Camera motion estimation plays an important role in digital video analysis algorithms such as video indexing and retrieval or automatic movie analysis. Several algorithms have b...
163
click to vote
JCT
2010
15 years 5 months ago
2010
We consider extensions and restrictions of Wythoff’s game having exactly the same set of P positions as the original game. No strict subset of rules give the same set of P posit...
187
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we introduce a novel approach to bridge the gap between the landmark-based and the iconic-based voxel-wise registration methods. The registration problem is formulat...
183
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
149
click to vote
PTS
2010
15 years 5 months ago
2010
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...