4099 search results - page 131 / 820 » A Framework for Interactive Proof |
ICMCS
2009
IEEE
14 years 7 months ago
2009
IEEE
In this paper, the development of a framework based on the Realtime Database (RTDB) for processing multimodal data is presented. This framework allows readily integration of input...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...
AOSE
2003
Springer
15 years 3 months ago
2003
Springer
We present our Component-Based Agent Framework, which enables a software engineer to design a set of agents by using a visual compo nent-based toolkit (Sun’s BDK), and wiring tog...
JCS
2007
14 years 9 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
105
click to vote
ICML
2009
IEEE
15 years 10 months ago
2009
IEEE
We present an on-line learning framework tailored towards real-time learning from observed user behavior in search engines and other information retrieval systems. In particular, ...