4352 search results - page 813 / 871 » A Representation Theorem and Applications |
184
click to vote
WOLLIC
2009
Springer
16 years 12 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
172
click to vote
XSYM
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. The extensible markup language XML has become the de facto standard for information representation and interchange on the Internet. XML parsing is a core operation perfor...
165
click to vote
ATAL
2009
Springer
16 years 12 days ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
160
click to vote
ATAL
2009
Springer
16 years 12 days ago
2009
Springer
Embodied conversational agents are required to be able to express themselves convincingly and autonomously. Based on an empirial study on spatial descriptions of landmarks in dire...
153
Voted
ATAL
2009
Springer
16 years 12 days ago
2009
Springer
The most important and interesting of the computing challenges we are facing are those that involve the problems and opportunities afforded by massive decentralization and disinte...