10715 search results - page 1857 / 2143 » From Tests to Proofs |
254
click to vote
MSR
2011
ACM
14 years 9 months ago
2011
ACM
Studying the evolution of topics (collections of co-occurring words) in a software project is an emerging technique to automatically shed light on how the project is changing over...
222
click to vote
RTAS
2011
IEEE
14 years 9 months ago
2011
IEEE
—It is widely assumed that scheduling real-time tasks becomes more difficult as their deadlines get shorter. With deadlines shorter, however, tasks potentially compete less with...
192
click to vote
SDM
2011
SIAM
14 years 9 months ago
2011
SIAM
Popular data mining methods support knowledge discovery from patterns that hold in binary relations. We study the generalization of association rule mining within arbitrary n-ary ...
180
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We study the 3D reconstruction of plant roots from multiple 2D images. To meet the challenge caused by the delicate nature of thin branches, we make three innovations to cope with...
296
click to vote
3DIM
2011
IEEE
14 years 6 months ago
2011
IEEE
Addressing the image correspondence problem by feature matching is a central part of computer vision and 3D inference from images. Consequently, there is a substantial amount of w...