6719 search results - page 258 / 1344 » A Generalization of Automatic Sequences |
SOFSEM
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
ICPR
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper proposes an automatic foreground segmentation system based on Gaussian mixture models and dynamic graph cut algorithm. An adaptive perpixel background model is develope...
CAIP
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Intestinal contractions are one of the main features for analyzing intestinal motility and detecting different gastrointestinal pathologies. In this paper we propose Eig...
ICPR
2000
IEEE
14 years 3 months ago
2000
IEEE
Automatic recovery of eye gestures from image sequences is one of the important topics for face recognition and model-based coding of videophone sequences. Usually complicated mod...
ECCV
2006
Springer
14 years 2 months ago
2006
Springer
In this paper, we represent human actions as short sequences of atomic body poses. The knowledge of body pose is stored only implicitly as a set of silhouettes seen from multiple ...