53 search results - page 4 / 11 » Reference reversibility with Reference Domain Theory |
ISBI
2004
IEEE
15 years 10 months ago
2004
IEEE
Time domain image interpolation, or image morphing, refers to a class of techniques for generating a set of smoothly changing intermediate images between two given images. Numerou...
BCSHCI
2007
14 years 11 months ago
2007
The research outlined investigates strategies that nonprogramming or “everyday” users may take in interaction with a Pervasive Computing Environment within relevant domains sp...
ACL
1997
14 years 10 months ago
1997
We provide a general account of parallelism in discourse, and apply it to the special case of resolving possible readings for instances of VP ellipsis. We show how several problem...
85
Voted
TLCA
2005
Springer
15 years 2 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
68
Voted
METRICS
2003
IEEE
15 years 2 months ago
2003
IEEE
Up until recently software 'metrics' have been most often proposed as the quantitative tools of choice in software engineering, and the analysis of these had been most o...