4761 search results - page 903 / 953 » Performance of Protocols |
ICCV
2009
IEEE
16 years 2 months ago
2009
IEEE
Face identification is the problem of determining
whether two face images depict the same person or not.
This is difficult due to variations in scale, pose, lighting,
background...
DAC
2003
ACM
15 years 10 months ago
2003
ACM
While Boolean logic minimization is typically used in logic synthesis, logic minimization can be useful in numerous other applications. However, many of those applications, such a...
DAC
2004
ACM
15 years 10 months ago
2004
ACM
The growing number of instances of breaches in information security in the last few years has created a compelling case for efforts towards secure electronic systems. Embedded sys...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
We offer the first large-scale analysis of Web traffic based on network flow data. Using data collected on the Internet2 network, we constructed a weighted bipartite clientserver ...
184
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...