1999 search results - page 166 / 400 » Dependently Typed Grammars |
154
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
-- A human's performance in a complex task is highly dependent on the demands of the task, in the sense that highly demanding situations will often cause a degradation of perf...
183
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
158
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
A wide number of algorithmsfor surjtiacesegmentationin range images have been recentlyproposed characterizedby different approaches (edgefilling, regiongrowing, ...), different su...
159
click to vote
ICML
1998
IEEE
16 years 7 months ago
1998
IEEE
Three factors are related in analyses of performance curves such as learning curves: the amount of training, the learning algorithm, and performance. Often we want to know whether...
160
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...