2024 search results - page 79 / 405 » A Formal Model of Multi-agent Computations |
147
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
123
click to vote
CICLING
2005
Springer
15 years 10 months ago
2005
Springer
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...
CANDC
2007
ACM
15 years 7 months ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...
158
Voted
NDSS
2009
IEEE
15 years 12 months ago
2009
IEEE
Many existing privacy-preserving techniques for querying distributed databases of sensitive information do not scale for large databases due to the use of heavyweight cryptographi...
140
click to vote
IJACTAICIT
2010
15 years 2 months ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...