644 search results - page 1 / 129 » Interaction and Realizability |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We prove that interactive learning based classical realizability (introduced by Aschieri and Berardi for first order arithmetic [1]) is sound with respect to Coquand game...
76
Voted
CHI
2006
ACM
16 years 24 days ago
2006
ACM
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
105
Voted
ISUVR
2007
15 years 1 months ago
2007
Abstract— We propose a cognitively motivated vertically layered two-pass agent architecture for realizing responsiveness, reactivity, and pro-activeness of smart objects, smart e...
117
click to vote
AVI
2008
15 years 2 months ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...