2024 search results - page 156 / 405 » A Formal Model of Multi-agent Computations |
139
click to vote
ACL
2009
15 years 2 months ago
2009
Recently, various synchronous grammars are proposed for syntax-based machine translation, e.g. synchronous context-free grammar and synchronous tree (sequence) substitution gramma...
162
click to vote
ECCV
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we present a framework for estimating what portions of videos are most discriminative for the task of action recognition. We explore the impact of the temporal cropp...
160
click to vote
DAGSTUHL
2001
15 years 5 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
138
click to vote
NDSS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this work we revisit and formally study the notion of proxy cryptography. Intuitively, various proxy functions allow two cooperating parties F (the “FBI”) and P (the “pro...
139
click to vote
IJCINI
2007
15 years 4 months ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...