56 search results - page 8 / 12 » A Game Semantics for Proof Search: Preliminary Results |
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
This paper is concerned with the topic of personalized news assembly at the set-top box, based on augmented video. This is video complemented with additional information that is s...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...
STOC
2009
ACM
14 years 9 months ago
2009
ACM
The price of anarchy (POA) is a worst-case measure of the inefficiency of selfish behavior, defined as the ratio of the objective function value of a worst Nash equilibrium of a g...
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Audiovisual media which integrates visual media with audio to enrich music representation, such as music video (MV) or music slideshow, is now more welcome than only audio. In thi...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
This paper explores the use of social annotations to improve web search. Nowadays, many services, e.g. del.icio.us, have been developed for web users to organize and share their f...