5105 search results - page 360 / 1021 » An algorithm to determine peer-reviewers |
158
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
A system is described for creating paper documents that show images of presentation slides and bar codes that point to a multimedia recording of a presentation that has not yet oc...
217
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We consider the problem of head tracking and pose estimation in realtime from low resolution images. Tracking and pose recognition are treated as two coupled problems in a probabi...
176
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
133
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Determining candidates' views on important issues is critical in deciding whom to support and vote for; but finding their statements and votes on an issue can be laborious. I...
160
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...