13336 search results - page 2415 / 2668 » Computer Vision: Algorithms and Applications |
209
click to vote
TACAS
2007
Springer
16 years 22 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
174
click to vote
COMPGEOM
2006
ACM
16 years 17 days ago
2006
ACM
Embedding metrics into constant-dimensional geometric spaces, such as the Euclidean plane, is relatively poorly understood. Motivated by applications in visualization, ad-hoc netw...
164
click to vote
SIGIR
2006
ACM
16 years 17 days ago
2006
ACM
Large scale learning is often realistic only in a semi-supervised setting where a small set of labeled examples is available together with a large collection of unlabeled data. In...
173
click to vote
INFOVIS
2005
IEEE
16 years 6 days ago
2005
IEEE
Time series are an important type of data with applications in virtually every aspect of the real world. Often a large number of time series have to be monitored and analyzed in p...
158
click to vote
COMPGEOM
2004
ACM
16 years 1 days ago
2004
ACM
Triangle strips have been widely used for efficient rendering. It is NP-complete to test whether a given triangulated model can be represented as a single triangle strip, so many...