313 search results - page 13 / 63 » Preprocessors from an Abstract Point of View |
73
Voted
ECCV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We propose an algorithm for recursive estimation of structure and motion in rigid body perspective dynamic systems, based on the novel concept of continuous-differential ...
103
Voted
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
ACTA
2007
15 years 16 days ago
2007
Abstract This paper explores different means of representation for algebraic transductions, i.e., word relations realized by pushdown transducers. The relevance of this work lies m...
84
Voted
COLING
2006
15 years 14 days ago
2006
and logic defined on certain types of abstract spaces and how that intimate relationship might be exploited when applied in computational linguistics. It is also about an approach ...
98
Voted
FGCS
2000
15 years 7 days ago
2000
The LOGFLOW parallel Prolog system is similar to the recent parallel database systems concerning its dataflow execution model and its capability of running on othing architectures...