4211 search results - page 569 / 843 » Types as Abstract Interpretations |
160
click to vote
HUC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This article describes development of the concept of Information Art, a type of ambient or peripheral display involving user-specified electronic paintings in which resi...
148
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
150
click to vote
ICCHP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents the eAccessibilityEngine tool, which employs adaptation techniques to automatically render web pages accessible by users with different types of disab...
135
click to vote
IJCNLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper addresses the issue of post-transfer process in paraphrasing. Our previous investigation into transfer errors revealed that case assignment tends to be incorre...
189
click to vote
INTELLCOMM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we propose the usage of W3C-standardized query language, XQuery, to accommodate XML Update. Our main aim is to enable the update without violating the seman...