5550 search results - page 402 / 1110 » Different Approaches to Proof Systems |
187
click to vote
ACCV
1998
Springer
15 years 11 months ago
1998
Springer
A head tracking system for automatically detecting and tracking human heads in complex backgrounds is developed. In this paper, two issues are addressed: the detection ofhumanhead...
182
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Grid computing is a research and development topic, currently getting much attention. As a result, new ideas as well as research and project results are being produced at a very h...
173
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
IPR (Intellectual Property Rights) Management is a complex domain. The IPR field is structured by evolving regulations, practises, business models,... Therefore, DRMS (Digital Righ...
163
click to vote
EDCC
2008
Springer
15 years 8 months ago
2008
Springer
We present the design, correctness, and analysis of SONDe, a simple fully decentralized object deployment algorithm for highly requested systems. Given an object (service or data)...
178
click to vote
OPODIS
2004
15 years 8 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...