6740 search results - page 339 / 1348 » Using Classification as a Programming Language |
141
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
To learn a new visual category from few examples, prior knowledge from unlabeled data as well as previous related categories may be useful. We develop a new method for transfer le...
127
click to vote
CP
2005
Springer
15 years 5 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
125
click to vote
SCAM
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
121
click to vote
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
113
click to vote
POPL
1997
ACM
15 years 7 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...