1059 search results - page 182 / 212 » Unification-Based Semantic Interpretation |
ICFP
2002
ACM
14 years 9 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
PEPM
2009
ACM
14 years 6 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. Context models ...
AOSD
2009
ACM
14 years 4 months ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...
DOLAP
2009
ACM
14 years 4 months ago
2009
ACM
Extract-Transform-Load (ETL) activities are software modules responsible for populating a data warehouse with operational data, which have undergone a series of transformations on...