775 search results - page 78 / 155 » Algorithm Selection via Ranking |
ICCAD
2005
IEEE
14 years 5 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
CVPR
2010
IEEE
14 years 2 months ago
2010
IEEE
Long-term persistent tracking in ever-changing environments is a challenging task, which often requires addressing difficult object appearance update problems. To solve them, most...
FSTTCS
2000
Springer
14 years 12 days ago
2000
Springer
In this paper we investigate some properties and algorithms related to a text sparsification technique based on the identification of local maxima in the given string. As the numb...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...
TVCG
2008
13 years 8 months ago
2008
Abstract-Wikipedia is an example of the collaborative, semi-structured data sets emerging on the Web. These data sets have large, nonuniform schema that require costly data integra...