1116 search results - page 180 / 224 » Key Agreement Using Statically Keyed Authenticators |
SIGMETRICS
2002
ACM
13 years 7 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
EUROGRAPHICS
2010
Eurographics
14 years 4 months ago
2010
Eurographics
We describe a novel multiplexing approach to achieve tradeoffs in space, angle and time resolution in photography. We explore the problem of mapping useful subsets of time-varying...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
SCIA
2007
Springer
14 years 1 months ago
2007
Springer
Computing high quality 3D models from multi-view stereo reconstruction is an active topic as can be seen in a recent review [15]. Most approaches make the strong assumption that th...
ICARCV
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper describes the dynamic modeling of linear object deformation considering geometrical constraints and contact with obstacles. Deformable linear objects such as cables ...