12519 search results - page 2110 / 2504 » Approximation Problems Categories |
221
click to vote
SIGMOD
2008
ACM
15 years 6 months ago
2008
ACM
Provenance in the context of workflows, both for the data they derive and for their specification, is an essential component to allow for result reproducibility, sharing, and know...
205
click to vote
SIGOPS
2008
15 years 6 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
173
click to vote
SMA
2008
ACM
15 years 6 months ago
2008
ACM
In recent years, there has been an increasing interest in developing geometric algorithms for kinematic computations. The aim of this paper is to present the notion of kinematic c...
212
click to vote
TIP
2008
15 years 6 months ago
2008
Several novel and particularly successful object and object category detection and recognition methods based on image features, local descriptions of object appearance, have recent...
221
click to vote
TODAES
2008
15 years 6 months ago
2008
The extremely high cost of custom ASIC fabrication makes FPGAs an attractive alternative for deployment of custom hardware. Embedded systems based on reconfigurable hardware integ...