1008 search results - page 59 / 202 » Canonicity! |
139
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
115
click to vote
JANCL
2008
15 years 3 months ago
2008
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...
150
click to vote
GW
2009
Springer
15 years 1 months ago
2009
Springer
This article reports on the exploration of a method based on canonical correlation analysis (CCA) for the analysis of the relationship between gesture and sound in the context of m...
210
Voted
ACCV
2010
Springer
15 years 4 months ago
2010
Springer
Humans have abstract models for object classes which helps recognize previously unseen instances, despite large intra-class variations. Also objects are grouped into classes based...
117
click to vote
MMAS
2010
Springer
14 years 10 months ago
2010
Springer
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...