4143 search results - page 255 / 829 » A theory of distributed aspects |
164
click to vote
ESOP
2007
Springer
16 years 27 days ago
2007
Springer
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
195
click to vote
LFCS
2007
Springer
16 years 26 days ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
190
Voted
TARK
2007
Springer
16 years 25 days ago
2007
Springer
Most work in game theory assumes that players are perfect reasoners and have common knowledge of all significant aspects of the game. In earlier work [Halpern and Rˆego 2006], w...
216
click to vote
ICMCS
2006
IEEE
16 years 23 days ago
2006
IEEE
To bridge the gap between high level semantic concepts and low level visual features in content-based image retrieval (CBIR), online feature selection is really required. An effec...
152
click to vote
ACMDIS
2006
ACM
16 years 22 days ago
2006
ACM
Our physical bodies play a central role in shaping human experience in the world, understanding of the world, and interactions in the world. This paper draws on theories of embodi...