2646 search results - page 70 / 530 » Local Type Inference |
98
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
74
Voted
TGC
2007
Springer
15 years 6 months ago
2007
Springer
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a...
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
The Dempster-Shafer Theory of Evidence is an established method for combining different sources of information. In this paper we explore ways to improve the combination performanc...
123
Voted
BMVC
2010
14 years 10 months ago
2010
This paper presents a learning-based method for combining the shape and appearance feature types for 3D human pose estimation from single-view images. Our method is based on clust...
100
click to vote
DSP
2007
15 years 16 days ago
2007
We tackle the general linear instantaneous model (possibly underdetermined and noisy) where we model the source prior with a Student t distribution. The conjugate-exponential char...