4099 search results - page 234 / 820 » First Class Patterns |
99
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
132
Voted
ICDAR
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we study different methods for prototype selection for recognizing handwritten characters of Tamil script. In the first method, cumulative pairwise- distances of th...
110
click to vote
ITICSE
2000
ACM
15 years 7 months ago
2000
ACM
We describe a Java toolkit that is designed to support the creation of powerful and extensible GUI interfaces during the first year computer science course. The goals of this tool...
118
Voted
ICRA
1999
IEEE
15 years 6 months ago
1999
IEEE
We present a novel approach we call partitioning where the robot's degrees- of-freedom (D OF) are categorized into two classes based on joint kinematics and dynamics to desig...
108
click to vote
ALT
1998
Springer
15 years 6 months ago
1998
Springer
In their pioneering work, Mukouchi and Arikawa modeled a learning situation in which the learner is expected to refute texts which are not representative of L, the class of langua...