163 search results - page 13 / 33 » Effective categoricity of equivalence structures |
FM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reď...
ACCV
2010
Springer
13 years 2 months ago
2010
Springer
The ability of recognizing object categories in 3D data is still an underdeveloped topic. This paper investigates on adopting Implicit Shape Models (ISMs) for 3D categorization, th...
ACCV
2009
Springer
13 years 11 months ago
2009
Springer
We study the problem of classifying images into a given, pre-determined taxonomy. The task can be elegantly translated into the structured learning framework. Structured learning, ...
COGSCI
1998
13 years 7 months ago
1998
Conceptual integration—"blending"—is a general cognitive operation on a par with analogy, recursion, mental modeling, conceptual categorization, and framing. It serv...