Sciweavers

1389 search results - page 53 / 278
» Definability as hypercomputational effect
Sort
View
CVIU
2008
82views more  CVIU 2008»
13 years 8 months ago
Shape matching and registration by data-driven EM
In this paper, we present an efficient and robust algorithm for shape matching, registration, and detection. The task is to geometrically transform a source shape to fit a target ...
Zhuowen Tu, Songfeng Zheng, Alan L. Yuille
IJNSEC
2008
190views more  IJNSEC 2008»
13 years 8 months ago
Probabilistic Analysis and Verification of the ASW Protocol using PRISM
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
Salekul Islam, Mohammad Abu Zaid
ICMLA
2010
13 years 6 months ago
Robust Learning for Adaptive Programs by Leveraging Program Structure
Abstract--We study how to effectively integrate reinforcement learning (RL) and programming languages via adaptation-based programming, where programs can include non-deterministic...
Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig
ICPR
2008
IEEE
14 years 10 months ago
Harris feature vector descriptor (HFVD)
A new image feature called Harris feature vector is defined in this paper, which effectively describes the image gradient distribution. By computing the mean and the standard devi...
Xuguang Wang, Fuchao C. Wu, Zhiheng Wang
ICML
2005
IEEE
14 years 9 months ago
Multi-instance tree learning
We introduce a novel algorithm for decision tree learning in the multi-instance setting as originally defined by Dietterich et al. It differs from existing multi-instance tree lea...
Hendrik Blockeel, David Page, Ashwin Srinivasan