2635 search results - page 191 / 527 » Computing multihomogeneous resultants using straight-line pr... |
94
Voted
SIGCSE
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we describe how a single Khepera II robot was used for an assignment in a senior level course on graphical user interface implementation. The assignment required eac...
126
Voted
SIGOPS
2008
15 years 22 days ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
186
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
IWAN
2004
Springer
15 years 6 months ago
2004
Springer
Active and programmable network technologies strive to support completely new forms of data-path processing capabilities inside the network. This in conjunction with the ability to...
131
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a novel framework based on hidden Markov models (HMMs) for matching feature point sets, which capture the shapes of object contours of interest. Point matching algorith...