3552 search results - page 613 / 711 » Proof theory in the abstract |
217
Voted
ADHOCNETS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper addresses the detection and reporting of abnormal building access with a wireless sensor network. A common office room, offering space for two working persons...
215
Voted
ALDT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. An optimal probabilistic-planning algorithm solves a problem, usually modeled by a Markov decision process, by finding its optimal policy. In this paper, we study the k ...
188
Voted
APPROX
2009
Springer
16 years 1 months ago
2009
Springer
An important research thread in algorithmic game theory studies the design of efficient truthful mechanisms that approximate the optimal social welfare. A fundamental question is ...
151
Voted
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Ontologies are a common approach to improve semantic interoperability by explicitly specifying the vocabulary used by a particular information community. Complex expressi...
183
Voted
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. I review theories and research on the cognitive processing of environmental distance information by humans, particularly that acquired via direct experience in the enviro...