1982 search results - page 157 / 397 » Parametricity and dependent types |
157
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...
187
click to vote
POPL
2010
ACM
16 years 4 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...
161
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...
165
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...
183
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper deals with the detection of a continuous random process described by an Ornstein-Uhlenbeck (O-U) stochastic differential equation. Randomly spaced sensors or equivalent...