3356 search results - page 535 / 672 » Determining Consensus Numbers |
VSTTE
2012
Springer
12 years 5 months ago
2012
Springer
A piece of code in a computer program is infeasible if it cannot be part of any normally-terminating execution of the program. We develop an algorithm for the automatic detection o...
CVPR
2012
IEEE
12 years 1 months ago
2012
IEEE
Pedestrian detection from images is an important and yet challenging task. The conventional methods usually identify human figures using image features inside the local regions. In...
INFOCOM
2012
IEEE
12 years 21 days ago
2012
IEEE
Abstract—Capacity scaling laws offer fundamental understanding on the trend of user throughput behavior when the network size increases. Since the seminal work of Gupta and Kumar...
CVPR
2012
IEEE
12 years 20 days ago
2012
IEEE
The explosive growth in image sharing via social networks has produced exciting opportunities for the computer vision community in areas including face, text, product and scene re...
ISCA
2012
IEEE
12 years 20 days ago
2012
IEEE
Soft error reliability has become a first-order design criterion for modern microprocessors. Architectural Vulnerability Factor (AVF) modeling is often used to capture the probab...