6274 search results - page 985 / 1255 » Proofs, Programs, Processes |
158
click to vote
3DIM
2011
IEEE
14 years 3 months ago
2011
IEEE
—Image-based computation of a 3D map for an indoor environment is a very challenging task, but also a useful step for vision-based navigation and path planning for autonomous sys...
149
click to vote
IUI
2012
ACM
13 years 10 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
139
click to vote
PPOPP
2012
ACM
13 years 10 months ago
2012
ACM
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...
118
click to vote
ACL
2012
13 years 5 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...
118
click to vote
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
Dominant sets are a new graph-theoretic concept that has proven to be relevant in partitional (flat) clustering as well as image segmentation problems. However, in many computer v...