4698 search results - page 60 / 940 » Making Functionality More General |
114
Voted
ALGORITHMICA
2004
15 years 2 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
136
Voted
IJCAI
1997
15 years 4 months ago
1997
The class of algorithms for approximating reasoning tasks presented in this paper is based on approximating the general bucket elimination framework. The algorithms have adjustabl...
154
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
127
click to vote
EMMCVPR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper exposes a novel formulation of prior shape constraint incorporation for the level set segmentation of objects from corrupted images. Applicable to variational ...
137
Voted
SCALESPACE
2007
Springer
15 years 8 months ago
2007
Springer
This paper deals with video segmentation based on motion and spatial information. Classically, the nucleus of the motion term is the motion compensation error (MCE) between two con...