2018 search results - page 332 / 404 » Code Normal Forms |
IJAC
2011
13 years 6 days ago
2011
We summarize the main known results involving subword reversing, a method of semigroup theory for constructing van Kampen diagrams by referring to a preferred direction. In good ca...
ICDAR
2011
IEEE
12 years 8 months ago
2011
IEEE
—In this paper, we propose a new method for three dimensional rotation-free recognition of characters in scene. In the proposed method, we employ the Modified Quadratic Discrimi...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
Compressed domain image processing techniques are becoming increasingly important. Compressed domain retrieval It allows the calculation of image features and hence content-based ...
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
To access data sources on the Web, a crucial step is wrapping, which translates query responses, rendered in textual HTML, back into their relational form. Traditionally, this pro...