1601 search results - page 159 / 321 » Closed Sets for Labeled Data |
135
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper, we revisit the forward and backward approaches to the verification of extensions of infinite state Petri Nets. As contributions, we propose an efficient data struct...
340
click to vote
Book
"This is the (work in progress) book "Algorithms for Programmers". Publication as soon as possible, content is (modulo copy editing) close to final version. I will p...
160
click to vote
ICCV
2005
IEEE
15 years 12 months ago
2005
IEEE
Camera Calibration with one-dimensional objects is based on an algebraic constraint on the image of the absolute conic. We will give an alternative derivation to this constraint, ...
166
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
ct This paper presents an approach to exploit free text descriptions of TV programmes as available from EPG data sets for a recommendation system that takes the content of programm...
153
click to vote
AAAI
2006
15 years 7 months ago
2006
of somewhat abstracting away from the literal physiological measurements of articulation that are so closely tied to the acoustic signal, and with some additional computational bur...