949 search results - page 106 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
ECCV
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. We describe a new theoretical approach to Image Processing and Vision. Expressed in mathemetical terminology, in our formalism image space is a fibre bundle, and the imag...
COLING
2010
13 years 3 months ago
2010
While ITG has many desirable properties for word alignment, it still suffers from the limitation of one-to-one matching. While existing approaches relax this limitation using phra...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague ...
GG
2004
Springer
14 years 2 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
SAS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...