2335 search results - page 306 / 467 » Type Checking Type Classes |
122
Voted
PR
2006
15 years 22 days ago
2006
This paper describes an algorithm for the determination of zone content type of a given zone within a document image. We take a statistical based approach and represent each zone ...
86
Voted
APAL
2005
15 years 21 days ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
94
Voted
TC
2008
15 years 21 days ago
2008
A novel serial-in parallel-out finite field multiplier using redundant representation is proposed. It is shown that the proposed architecture has either a significantly lower compl...
85
Voted
TCS
2008
15 years 21 days ago
2008
Using the fact that the Parikh matrix mapping is not an injective mapping, the paper investigates some properties of the set of words with the same Parikh matrix; these words are ...
105
Voted
AUTOMATICA
2002
15 years 20 days ago
2002
In this paper we present a framework in which the general hybrid filtering or state estimation problem can be formulated. The problem of joint tracking and classification can be f...