4218 search results - page 383 / 844 » Complete sets of cooperations |
201
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
200
click to vote
RR
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
245
click to vote
ICIP
2008
IEEE
16 years 2 months ago
2008
IEEE
The structural similarity (SSIM) metric and its multi-scale extension (MS-SSIM) evaluate visual quality with a modied local measure of spatial correlation consisting of three c...
188
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Future microprocessors will be highly susceptible to transient errors as the sizes of transistors decrease due to CMOS scaling. Prior techniques advocated full scale structural or...
193
click to vote
ESCIENCE
2007
IEEE
16 years 1 months ago
2007
IEEE
The emergence of computational grids has lead to an increased reliance on task schedulers that can guarantee the completion of tasks that are executed on unreliable systems. There...