1629 search results - page 232 / 326 » Infeasible Code Detection |
134
click to vote
TAP
2010
Springer
14 years 11 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
139
click to vote
PPOPP
2011
ACM
14 years 4 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
ICCV
2007
IEEE
16 years 3 months ago
2007
IEEE
Recent work in object categorization often uses local image descriptors such as SIFT to learn and detect object categories. Such descriptors explicitly code local appearance and h...
127
click to vote
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
Lip segmentation is an essential stage in many multimedia systems such as videoconferencing, lip reading, or low bit rate coding communication systems. In this paper, we propose a...
109
click to vote
ICIP
2002
IEEE
16 years 3 months ago
2002
IEEE
This paper presents an objective metric for the perceived quality of low bit rate compressed video. Frames are decomposed into several frequency bands at multiple scales and a mot...