3690 search results - page 458 / 738 » Computation with classical sequents |
143
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Mole pattern changes are important cues in detecting melanoma at an early stage. As a first step to automatically register mole pattern changes from skin images, this paper prese...
171
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 1 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
176
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
ASALSAN is a new algorithm for computing three-way DEDICOM, which is a linear algebra model for analyzing intrinsically asymmetric relationships, such as trade among nations or th...
164
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The integration of multiple predictors promises higher prediction accuracy than the accuracy that can be obtained with a single predictor. The challenge is how to select the best ...
161
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present a robot localization system using biologically-inspired vision. Our system models two extensively studied human visual capabilities: (1) extracting the “gist” of...