2771 search results - page 460 / 555 » A General Computational Treatment of the Comparative |
162
click to vote
HPCA
2007
IEEE
16 years 6 months ago
2007
IEEE
The emergence of multicore architectures will lead to an increase in the use of multithreaded applications that are prone to synchronization bugs, such as data races. Software sol...
173
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Master Usability Scaling (MUS) is a measurement method for developing a universal usability continuum based on magnitude estimation and master scaling. The universal usability con...
176
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Previous results have shown that users perform better on spatial orientation tasks involving static 2D scenes when working on physically large displays as compared to small ones. ...
185
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
168
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
In this paper, we attempt to approximate and index a ddimensional (d 1) spatio-temporal trajectory with a low order continuous polynomial. There are many possible ways to choose ...