4099 search results - page 194 / 820 » A Framework for Interactive Proof |
233
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verific...
128
Voted
ALT
2008
Springer
16 years 2 months ago
2008
Springer
In this paper, we initiate a theoretical study of the problem of clustering data under interactive feedback. We introduce a query-based model in which users can provide feedback to...
160
click to vote
ICIDS
2009
Springer
16 years 4 days ago
2009
Springer
The IRIS Network of Excellence (NoE) started its work in January 2009. In this paper we highlight some new research directions developing within the network: one is revisiting narr...
151
click to vote
SI3D
2010
ACM
15 years 9 months ago
2010
ACM
We present a novel framework for editing geometric detail. Drawing on previous work in image- and geometry-processing, we show that the frequency-space filtering performed in mes...
135
click to vote
AAAI
2008
15 years 8 months ago
2008
We consider the problems of sequential prediction and change detection that arise often in interactive applications: A semi-automatic predictor is applied to a time-series and is ...