2853 search results - page 144 / 571 » On Coherence in Computer Algebra |
135
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...
124
click to vote
APGV
2009
ACM
15 years 11 months ago
2009
ACM
Texture fractalization is used in many existing approaches to ensure the temporal coherence of a stylized animation. This paper presents the results of a psychophysical user-study...
127
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
110
click to vote
NAACL
2007
15 years 5 months ago
2007
An intelligent thesaurus assists a writer with alternative choices of words and orders them by their suitability in the writing context. In this paper we focus on methods for auto...
158
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
While motion estimation has been extensively studied in the computer vision literature, the inherent information redundancy in an image sequence has not been well utilised. In par...