20831 search results - page 3974 / 4167 » Quantum Computation and Information |
235
click to vote
SIGCOMM
2012
ACM
13 years 10 months ago
2012
ACM
Web applications have now become so sophisticated that rendering a typical page may require hundreds of intra-datacenter flows. At the same time, web sites must meet strict page ...
295
click to vote
SIGMOD
2012
ACM
13 years 10 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
183
click to vote
PLDI
2012
ACM
13 years 10 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
205
click to vote
TOG
2012
13 years 10 months ago
2012
We facilitate the creation of 3D-looking shaded production drawings from concept sketches. The key to our approach is a class of commonly used construction curves known as cross-s...
257
click to vote
JAIR
2012
13 years 10 months ago
2012
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...