1860 search results - page 230 / 372 » A Temporal Logic of Robustness |
106
click to vote
ACIVS
2007
Springer
15 years 7 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. ...
108
click to vote
BIB
2008
15 years 1 months ago
2008
Biology, chemistry and medicine are faced by tremendous challenges caused by an overwhelming amount of data and the need for rapid interpretation. Computational intelligence (CI) ...
111
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
129
click to vote
ICTAC
2009
Springer
14 years 11 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
128
click to vote
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...