44 search results - page 9 / 9 » Handling Inconsistency of Vague Relations with Functional De... |
FUIN
2006
13 years 5 months ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
ICCV
2011
IEEE
12 years 5 months ago
2011
IEEE
Images taken from scenes under water suffer distortion due to refraction. While refraction causes magnification with mild distortion on the observed images, severe distortions in...
TLCA
2009
Springer
13 years 12 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
TPDS
2002
13 years 5 months ago
2002
Middleware has been introduced to provide interoperability as well as transparent location of servers in heterogeneous client-server environments. Although such benefits accrue fro...