8828 search results - page 289 / 1766 » Formal methods in practice |
162
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents an exploratory process in which three industrial usability groups, in cooperation with HCI researchers, worked to reframe their own work practice. The usabilit...
152
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract-- This paper describes the stochastic model order reduction algorithm via stochastic Hermite Polynomials from the practical implementation perspective. Comparing with exis...
177
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Image similarity search is a fundamental problem in computer vision. Efficient similarity search across large image databases depends critically on the availability of compact ima...
209
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Recent research on Internet traffic classification algorithms has yielded a flurry of proposed approaches for distinguishing types of traffic, but no systematic comparison of the ...
181
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
We present the Priority R-tree, or PR-tree, which is the first R-tree variant that always answers a window query using O((N/B)1-1/d + T/B) I/Os, where N is the number of ddimensio...