1150 search results - page 206 / 230 » Algorithmic transforms for efficient energy scalable computa... |
107
click to vote
TSE
2010
14 years 6 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
161
click to vote
TSMC
2010
14 years 6 months ago
2010
Abstract--With the ever-increasing wireless/wired data applications recently, considerable efforts have focused on the design of distributed explicit rate flow control schemes for ...
ICCV
1998
IEEE
16 years 1 months ago
1998
IEEE
Proceedings of the 1998 IEEE International Conference on Computer Vision, Bombay, India We introduce a new distance between two distributions that we call the Earth Mover's D...
ICPR
2004
IEEE
16 years 27 days ago
2004
IEEE
In this paper, we present a novel maximum correlation sample subspace method and apply it to human face detection [1] in still images. The algorithm starts by projecting all the t...
CIKM
2006
Springer
15 years 3 months ago
2006
Springer
We study the novel problem of efficiently computing the update distance for a pair of relational databases. In analogy to the edit distance of strings, we define the update distan...