Sciweavers

29152 search results - page 427 / 5831
» A Model of Computation for MapReduce
Sort
View
CRV
2007
IEEE
137views Robotics» more  CRV 2007»
16 years 1 months ago
Computing View-normalized Body Parts Trajectories
This paper proposes an approach to compute viewnormalized body part trajectories of pedestrians from monocular video sequences. The proposed approach first extracts the 2D trajec...
Frédéric Jean, Robert Bergevin, Alex...
CSFW
2007
IEEE
16 years 1 months ago
Computationally Sound Mechanized Proofs of Correspondence Assertions
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
Bruno Blanchet
COMPSAC
2006
IEEE
16 years 1 months ago
Application of Fuzzy Logic in Federated Trust Management for Pervasive Computing
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
Zhengping Wu, Alfred C. Weaver
ISCA
2006
IEEE
120views Hardware» more  ISCA 2006»
16 years 1 months ago
Interconnection Networks for Scalable Quantum Computers
We show that the problem of communication in a quantum computer reduces to constructing reliable quantum channels by distributing high-fidelity EPR pairs. We develop analytical m...
Nemanja Isailovic, Yatish Patel, Mark Whitney, Joh...
WECWIS
2006
IEEE
87views ECommerce» more  WECWIS 2006»
16 years 1 months ago
SLA Automated Negotiation Manager for Computing Services
Success in today’s marketing arena can often depend on companies embracing effective new technologies and integrating them into their business model. In the computing service su...
Halina Kaminski, Mark Perry