3552 search results - page 496 / 711 » Proof theory in the abstract |
163
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Results in social choice theory such as the Arrow and GibbardSatterthwaite theorems constrain the existence of rational collective decision making procedures in groups of...
168
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
210
Voted
HT
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
154
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...
161
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The question of conceptual representation has received considerable attention in philosophy, neuroscience and embodied evolved agents. Numerous theories on the interpreta...