1695 search results - page 183 / 339 » Interactive query refinement |
148
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
205
click to vote
IS
2008
15 years 6 months ago
2008
In this paper we propose DFL -- a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated, and the structure of the ...
164
click to vote
IR
2000
15 years 6 months ago
2000
: Previous research in conceptual indexing methods of images has furnished us with refined theoretical frameworks characterising various aspects of images that could and should be ...
153
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
Mining actor correlations from TV series enables semanticlevel video understanding and facilitates users to conduct correlation-based query. In this paper, we introduce a graphbas...
351
click to vote
ACCV
2010
Springer
15 years 2 months ago
2010
Springer
We present a new active learning approach to incorporate
human feedback for on-line unusual event detection. In contrast to most
existing unsupervised methods that perform passiv...