4794 search results - page 285 / 959 » Trust-Based Mechanism Design |
184
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
: Railway systems are critical in many regions, and can consist of several tens of thousands of bridges, being used over several decades. It is critical to have a system to monitor...
162
click to vote
SENSYS
2009
ACM
16 years 1 months ago
2009
ACM
Network protocols are typically designed and tested individually. In practice, however, applications use multiple protocols concurrently. This discrepancy can lead to failures fro...
150
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper is designed to examine whether metaphor, meaning and perception are sufficiently dealt with in knowledge visualization. This culminates in the following hypothesis: Bec...
198
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
134
click to vote
CIMCA
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract. We describe Scusi?, a multi-stage, spoken language interpretation mechanism designed to be part of a robot-mounted dialogue system. Scusi?’s interpretation process maps...