254 search results - page 49 / 51 » Graph Algorithms for Improving Type-Logical Proof Search |
ICMCS
2010
IEEE
13 years 6 months ago
2010
IEEE
Labeling persons appearing in video frames with names detected from the video transcript helps improving the video content identification and search task. We develop a face naming...
SIGIR
2008
ACM
13 years 5 months ago
2008
ACM
Accurate web page classification often depends crucially on information gained from neighboring pages in the local web graph. Prior work has exploited the class labels of nearby p...
ICCV
2009
IEEE
14 years 1 months ago
2009
IEEE
Stereo matching and volumetric reconstruction are the most explored 3D scene recovery techniques in computer vision. Many existing approaches assume perspective input images and us...
WWW
2009
ACM
14 years 6 months ago
2009
ACM
Community Question Answering (CQA) has emerged as a popular forum for users to pose questions for other users to answer. Over the last few years, CQA portals such as Naver and Yah...
AIPS
2007
13 years 8 months ago
2007
In context-aware route planning, agents have to plan their route on a common infrastructure in such a way that plans made by other agents are not invalidated, and no conflicts ar...