1594 search results - page 167 / 319 » An Algorithm to Compute Collusion Paths |
137
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
126
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— We consider the problem of tracking multiple agents moving amongst obstacles, using multiple cameras. Given an environment with obstacles, and many people moving through it, we...
144
Voted
CA
2003
IEEE
15 years 8 months ago
2003
IEEE
— Using a single camera, we capture video of multiple people walking in an open area and insert a moving synthetic character into the scene. The people are located in the video u...
117
Voted
CAD
2006
Springer
15 years 3 months ago
2006
Springer
Modeling, design and fabrication of tissue scaffolds with intricate architecture, porosity and pore size for desired tissue properties presents a challenge in tissue engineering. ...
160
Voted
IWCMC
2010
ACM
15 years 1 months ago
2010
ACM
This work presents a cross-layer modification to the DSR protocol which discovers high throughput paths on multi-hop wireless mesh networks. The modified DSR incorporates a metric...