4099 search results - page 161 / 820 » A Framework for Interactive Proof |
CSFW
1999
IEEE
15 years 2 months ago
1999
IEEE
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...
IUI
2009
ACM
15 years 7 months ago
2009
ACM
This document introduces a web based demo of an interactive framework for transcription of handwritten text, where the user feedback is provided by means of pen strokes on a touch...
TSD
2001
Springer
15 years 2 months ago
2001
Springer
In this paper we present an adaptive architecture for interaction and dialogue management in spoken dialogue applications. This architecture is targeted for applications that adapt...
CORR
2009
Springer
14 years 7 months ago
2009
Springer
mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justificatio...
APVIS
2001
14 years 11 months ago
2001
In this paper we describe a novel use of augmented reality for information visualization. We detail the use of augmented reality as a component of InVision -- an open framework fo...