6328 search results - page 144 / 1266 » From Quantity to Quality |
156
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
We present a scalable, SPARQL-based computational pipeline for testing the lattice-theoretic properties of partial orders represented as RDF triples. The use case for this work is ...
166
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
161
click to vote
ICNS
2009
IEEE
15 years 4 months ago
2009
IEEE
Nowadays various digital television services are available. However, the user of these services experiences longer delays than the traditional analog TV while switching from chann...
187
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
213
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, a no reference bit stream model for quality assessment of SD and HD H.264/AVC video sequences based on packet loss visibility is proposed. The method considers the ...