3116 search results - page 7 / 624 » Positively dependent types |
PLPV
2010
ACM
15 years 6 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
VISUALIZATION
2005
IEEE
15 years 3 months ago
2005
IEEE
Real-time rendering of massively textured 3D scenes usually involves two major problems: Large numbers of texture switches are a well-known performance bottleneck and the set of s...
118
click to vote
PAMI
2008
14 years 9 months ago
2008
A common way to model multiclass classification problems is by means of Error-Correcting Output Codes (ECOCs). Given a multiclass problem, the ECOC technique designs a code word fo...
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
Filtering is a standard technique for fast approximate string matching in practice. In filtering, a quick first step is used to rule out almost all positions of a text as possib...
68
Voted
TYPES
2000
Springer
15 years 1 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...