553 search results - page 70 / 111 » Learning Meets Verification |
ISAMI
2010
13 years 7 months ago
2010
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
As our business, academic, and personal lives continue to move at an ever-faster pace, finding times for busy people to meet has become an art. One of the most perplexing challeng...
WEBNET
2000
13 years 11 months ago
2000
: As the Web grows in importance in institutional settings, so does the need for training. Universities are looking at the daunting task of putting more information and services on...
ICPR
2000
IEEE
14 years 11 months ago
2000
IEEE
A major challenge for face recognition algorithms lies in the variance faces undergo while changing pose. This problem is typically addressed by building view dependent models bas...
ICMCS
2009
IEEE
13 years 7 months ago
2009
IEEE
Group video-conferencing systems are routinely used in major corporations, hospitals and universities for meetings, tele-medicine and distance learning among participants from very...