13734 search results - page 395 / 2747 » Abstractions of data types |
141
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
167
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Current research on image quality assessment tends to include visual attention in objective metrics to further enhance their performance. A variety of computational models of visu...
176
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
The increasing use of temporal and spatial data in presentday relational systems necessitates an efficient support of joins on interval-valued attributes. Standard join algorithms...
176
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
185
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
—Array based Comparative Genomic Hybridization (CGH) is a molecular cytogenetic method for the detection of chromosomal imbalances and it has been extensively used for studying c...