553 search results - page 62 / 111 » Learning Meets Verification |
115
click to vote
ACMICEC
2007
ACM
15 years 5 months ago
2007
ACM
Recommender systems are intelligent E-commerce applications that assist users in a decision-making process by offering personalized product recommendations during an interaction s...
130
click to vote
SIGCSE
2008
ACM
15 years 1 months ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
123
click to vote
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper addresses the problem of applying powerful pattern recognition algorithms based on kernels to efficient visual tracking. Recently Avidan [1] has shown that object recog...
125
click to vote
GEOINFORMATICA
2008
15 years 1 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
AGILEDC
2007
IEEE
15 years 7 months ago
2007
IEEE
As academic institutions become more reliant on Information Technology for everyday work and learning, Harvard Business School needed to find a better way to meet the ever-increas...