9842 search results - page 1954 / 1969 » Compositional timing analysis |
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
People identification has numerous applications, ranging from surveillance/security to robotics. Face and body movement/gait biometrics are the most important tools for this task....
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
: Resolving distortion between linear and area sensors for forensic print inspection Stephen B. Pollard, Guy B. Adams, Steven J. Simske HP Laboratories HPL-2010-172 Security print...
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
13 years 5 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
ICMI
2010
Springer
13 years 5 months ago
2010
Springer
Social network analysis became a common technique used to model and quantify the properties of social interactions. In this paper, we propose an integrated framework to explore th...
ICPADS
2010
IEEE
13 years 5 months ago
2010
IEEE
Counting or estimating the number of tags is crucial for RFID system. Researchers have proposed several fast cardinality estimation schemes to estimate the quantity of a batch of ...