3779 search results - page 440 / 756 » Linear Consistency Testing |
180
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
197
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We propose a principled framework to model persistent motion in dynamic scenes. In contrast to previous efforts on object tracking and optical flow estimation that focus on local...
348
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper deals with feature matching and segmentation of common objects in a pair of images, simultaneously. For the feature matching problem, the matching likelihoods of all fea...
194
click to vote
SETN
2010
Springer
16 years 1 months ago
2010
Springer
In the present work we address the problem of phone duration modeling for the needs of emotional speech synthesis. Specifically, relying on ten well known machine learning techniqu...
184
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
Prostate cancer is the most frequent cancer for men and the second cause of cancer death. Confirmation of cancer requires transrectal prostate biopsies. Tracking systems for tran...