2702 search results - page 390 / 541 » Practically Applicable Formal Methods |
111
click to vote
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
Capacity scaling is a hierarchical approach to graph representation that can improve theoretical complexity and practical efficiency of max-flow/min-cut algorithms. Introduced by ...
143
click to vote
SCIA
2009
Springer
15 years 8 months ago
2009
Springer
Many computer vision problems can be formulated as low rank bilinear minimization problems. One reason for the success of these problems is that they can be efficiently solved usin...
119
click to vote
IACR
2011
14 years 1 months ago
2011
Software drive encryption systems are vulnerable to memory attacks, in which an attacker gains physical accesses to the unattended computer, obtains the decryption keys from memor...
108
click to vote
ICDM
2007
IEEE
15 years 8 months ago
2007
IEEE
Recommender systems based on collaborative filtering predict user preferences for products or services by learning past user-item relationships. A predominant approach to collabo...
111
Voted
CAD
2007
Springer
15 years 2 months ago
2007
Springer
Systematically generalizing planar geometric algorithms to manifold domains is of fundamental importance in computer aided design field. This paper proposes a novel theoretic fra...