8512 search results - page 368 / 1703 » Computing Theory With Relevance |
202
Voted
CADE
1990
Springer
15 years 10 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
134
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
What are the primitives of visual perception? The early feature-analysis theory insists on it being a local-to-global process which has acted as the foundation of most computer vis...
160
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper presents a new approach to ranking relevant images for retrieval. Distance in the feature space associated with a kernel is used to rank relevant images. An adaptive qu...
184
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We present a search interface for large video collections with time-aligned text transcripts. The system is designed for users such as intelligence analysts that need to quickly f...
333
click to vote
AACC
2004
Springer
16 years 5 days ago
2004
Springer
Searching on the Internet has grown in importance over the last few years, as huge amount of information is invariably accumulated on the Web. The problem involves locating the des...