2853 search results - page 157 / 571 » On Coherence in Computer Algebra |
117
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
Computerized analysis of paintings has recently gained interest. The rapid technological advancements and the expanding interdisciplinary collaboration present us a promising pros...
161
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
145
click to vote
POPL
2012
ACM
14 years 3 hour ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
186
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a novel method for modeling dynamic visual
phenomena, which consists of two key aspects. First, the in-
tegral motion of constituent elements in a dynamic scene is
ca...
124
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
Querying non-conventional data is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is the ability to qu...