2911 search results - page 380 / 583 » A Theory of Expressiveness in Mechanisms |
132
Voted
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
123
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...
145
click to vote
CIKM
2007
Springer
15 years 8 months ago
2007
Springer
Implicit feedback algorithms utilize interaction between searchers and search systems to learn more about users’ needs and interests than expressed in query statements alone. Th...
104
click to vote
CIVR
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we present a real-time algorithm for 3D object detection in images. Our method relies on the Ullman and Basri [13] theory which claims that the same object under di...
CIVR
2007
Springer
15 years 8 months ago
2007
Springer
This paper introduces a faceted model of image semantics which attempts to express the richness of semantic content interpretable within an image. Using a large image data-set fro...