581 search results - page 90 / 117 » Translating dependency into parametricity |
AVSS
2005
IEEE
14 years 3 months ago
2005
IEEE
We propose a human action clustering method based on a 3D representation of the body in terms of volumetric coordinates. Features representing body postures are extracted directly...
WORDS
2005
IEEE
14 years 3 months ago
2005
IEEE
The main functionality of the Domain Name System (DNS) is to translate symbolic names into IP addresses. Due to the criticality of DNS for the proper functioning of the Internet, ...
IMC
2005
ACM
14 years 3 months ago
2005
ACM
In recent years, the standards community has developed techniques for traversing NAT/firewall boxes with UDP (that is, establishing UDP flows between hosts behind NATs). Because...
ISLPED
2005
ACM
14 years 3 months ago
2005
ACM
Leakage power is one of the most critical issues for ultra-deep submicron technology. Subthreshold leakage depends exponentially on linewidth, and consequently variation in linewi...
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...