4485 search results - page 631 / 897 » Equivalences on Observable Processes |
166
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
We introduce a saliency model based on two key ideas. The first one is considering local and global image patch rarities as two complementary processes. The second one is based o...
131
click to vote
ACL
2012
13 years 6 months ago
2012
Argo is a web-based NLP and text mining workbench with a convenient graphical user interface for designing and executing processing workflows of various complexity. The workbench...
137
click to vote
CVPR
1998
IEEE
16 years 6 months ago
1998
IEEE
A method is presented for e cient and reliable object recognition within noisy, cluttered, and occluded range images. The method is based on a strategy which hypothesizes the inte...
157
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
Image retrieval critically relies on the distance function used to compare a query image to images in the database. We suggest to learn such distance functions by training binary ...
168
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...