2064 search results - page 209 / 413 » Segmentation Problems |
CAV
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
ECAI
2006
Springer
14 years 2 months ago
2006
Springer
Authorship identification can be seen as a single-label multi-class text categorization problem. Very often, there are extremely few training texts at least for some of the candida...
ECCV
2008
Springer
14 years 16 days ago
2008
Springer
We derive a probabilistic framework for robust, real-time, visual tracking of previously unseen objects from a moving camera. The tracking problem is handled using a bag-of-pixels ...
CCCG
2009
13 years 12 months ago
2009
In this paper we study the problem of computing an upward straight-line embedding of a directed graph G into a point set S, i.e. a planar drawing of G such that each vertex is map...
SIGOPS
2002
13 years 10 months ago
2002
The simple checkpointing and migration system for UNIX processes as described in the article of Bozyigit and Wasiq [1] can be improved in two ways: First by a technique to checkpo...