31 search results - page 3 / 7 » A New One-Pass Transformation into Monadic Normal Form |
ICALP
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. Tree-walking automata (TWAs) recently received new attention in the fields of formal languages and databases. Towards a better understanding of their expressiveness, we c...
ICIP
2005
IEEE
14 years 7 months ago
2005
IEEE
Image fusion is the process of extracting meaningful visual information from two or more images and combinining them to form one fused image. Image fusion is important within many...
CIVR
2007
Springer
13 years 11 months ago
2007
Springer
This paper describes new local photometric descriptors based on dissociated dipoles for transformed images or rigid objects retrieval. Dissociated dipoles are non local different...
HASKELL
2009
ACM
13 years 11 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
AIPS
2004
13 years 6 months ago
2004
Conformant planning is the task of generating plans given uncertainty about the initial state and action effects, and without any sensing capabilities during plan execution. The p...