2335 search results - page 282 / 467 » Type Checking Type Classes |
ICML
2002
IEEE
16 years 1 months ago
2002
IEEE
The application of kernel-based learning algorithms has, so far, largely been confined to realvalued data and a few special data types, such as strings. In this paper we propose a...
226
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
194
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each ...
112
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...
73
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
This paper presents a complete analytical characterization of a large class of central and non-central imaging devices dubbed linear cameras by Ponce [9]. Pajdla [7] has shown tha...