588 search results - page 90 / 118 » Differentiable Sparse Coding |
138
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
131
click to vote
ICCV
2011
IEEE
14 years 21 days ago
2011
IEEE
Rank correlation measures are known for their resilience to perturbations in numeric values and are widely used in many evaluation metrics. Such ordinal measures have rarely been ...
97
Voted
ECCV
2006
Springer
16 years 2 months ago
2006
Springer
Detecting humans in films and videos is a challenging problem owing to the motion of the subjects, the camera and the background and to variations in pose, appearance, clothing, il...
101
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...
114
Voted
FUN
2010
Springer
15 years 4 months ago
2010
Springer
Conventional wisdom suggests that O(k)-time is required to reverse a substring of length k. To reduce this time complexity, a simple and unorthodox data structure is introduced. A ...