1963 search results - page 46 / 393 » Function Materialization in Object Bases |
102
click to vote
ICIP
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents an algorithm designed to compute the perceived interest of objects in images. We measured likelihood functions via a psychophysical experiment in which subject...
ACIVS
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a new method to both track and segment objects in videos. It includes predictions and observations inside an energy function that is minimized with graph cuts. ...
84
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
123
click to vote
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
100
Voted
CVPR
1999
IEEE
16 years 2 months ago
1999
IEEE
Background estimation and removal based on the joint use of range and color data produces superior results than can be achieved with either data source alone. This is increasingly...