13336 search results - page 2221 / 2668 » Computer Vision: Algorithms and Applications |
179
click to vote
IPL
2006
15 years 7 months ago
2006
In the past 5 years, a series of verification algorithms has been proposed for infinite Markov chains that have a finite attractor, i.e., a set that will be visited infinitely oft...
204
click to vote
EOR
2007
15 years 7 months ago
2007
This paper studies an arc routing problem with capacity constraints and time-dependent service costs. This problem is motivated by winter gritting applications where the ‘‘tim...
175
click to vote
ML
2006
ACM
15 years 7 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
201
click to vote
SIAMSC
2008
15 years 7 months ago
2008
In this paper, we propose a new phase flow method for Hamiltonian systems with discontinuous Hamiltonians. In the original phase-flow method introduced by Ying and Cand`es [26], t...
193
click to vote
JMM2
2007
15 years 7 months ago
2007
— Gesture interfaces have long been pursued in the context of portable computing and immersive environments. However, such interfaces have been difficult to build, in part due t...