5472 search results - page 405 / 1095 » Stochastic Mechanism Design |
209
click to vote
ESOP
2007
Springer
16 years 1 months 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...
135
click to vote
CIMCA
2006
IEEE
16 years 28 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...
152
click to vote
ICCS
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents a generalized demosaicking procedure suitable for single-sensor imaging devices. By employing an edge-sensing mechanism and a spectral model, the proposed demos...
161
click to vote
ISMIR
2004
Springer
16 years 6 days ago
2004
Springer
The MPEG-7 standard provides description mechanisms and taxonomy management for multimedia documents. There are several approaches to design a multimedia database system using MPE...
159
click to vote
JCDL
2003
ACM
16 years 3 days ago
2003
ACM
Expandability is one of the main requirements of future digital libraries. This paper introduces a digital library service system, OpenDLib, that has been designed to be highly ex...