Sciweavers

1382 search results - page 198 / 277
» Formal Analysis of Online Algorithms
Sort
View
VLDB
2007
ACM
161views Database» more  VLDB 2007»
16 years 6 months ago
Proof-Infused Streams: Enabling Authentication of Sliding Window Queries On Streams
As computer systems are essential components of many critical commercial services, the need for secure online transactions is now becoming evident. The demand for such application...
Feifei Li, Ke Yi, Marios Hadjieleftheriou, George ...
WWW
2010
ACM
16 years 1 months ago
Scalable discovery of contradictions on the web
Our study addresses the problem of large-scale contradiction detection and management, from data extracted from the Web. We describe the first systematic solution to the problem,...
Mikalai Tsytsarau, Themis Palpanas, Kerstin Deneck...
ETRA
2010
ACM
176views Biometrics» more  ETRA 2010»
16 years 1 months ago
Learning relevant eye movement feature spaces across users
In this paper we predict the relevance of images based on a lowdimensional feature space found using several users’ eye movements. Each user is given an image-based search task,...
Zakria Hussain, Kitsuchart Pasupa, John Shawe-Tayl...
AVSS
2007
IEEE
16 years 22 days ago
On the effect of motion segmentation techniques in description based adaptive video transmission
This paper presents the results of analysing the effect of different motion segmentation techniques in a system that transmits the information captured by a static surveillance ca...
Juan Carlos San Miguel, José María M...
BROADNETS
2007
IEEE
16 years 22 days ago
Design and control of optical grid networks
—Grid computing aims to realize a high-performance computing environment, while increasing the usage efficiency of installed resources. This puts considerable constraints on the...
Marc De Leenheer, Chris Develder, Tim Stevens, Bar...