Sciweavers

9186 search results - page 247 / 1838
» A Module System for Scheme
Sort
View
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
15 years 11 months ago
A moving horizon scheme for distributed state estimation
— This paper presents a novel distributed estimation algorithm based on the concept of moving horizon estimation. Under weak observability conditions we prove convergence of the ...
Marcello Farina, Giancarlo Ferrari-Trecate, Riccar...
JUCS
2006
97views more  JUCS 2006»
15 years 6 months ago
An Interval Constraint Branching Scheme for Lattice Domains
This paper presents a parameterized schema for interval constraint branching that (with suitable instantiations of the parameters) can solve interval constraint satisfaction probl...
Antonio J. Fernández, Patricia M. Hill
ICMCS
2005
IEEE
87views Multimedia» more  ICMCS 2005»
16 years 6 days ago
A Probabilistic Description of Man-Machine Spoken Communication
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...
Olivier Pietquin
SIAMCOMP
2000
118views more  SIAMCOMP 2000»
15 years 6 months ago
Constructive, Deterministic Implementation of Shared Memory on Meshes
This paper describes a scheme to implement a shared address space of size m on an n-node mesh, with m polynomial in n, where each mesh node hosts a processor and a memory module. A...
Andrea Pietracaprina, Geppino Pucci, Jop F. Sibeyn
VISUAL
2007
Springer
16 years 22 days ago
News Video Retrieval by Learning Multimodal Semantic Information
With the explosion of multimedia data especially that of video data, requirement of efficient video retrieval has becoming more and more important. Years of TREC Video Retrieval Ev...
Hui Yu, Bolan Su, Hong Lu, Xiangyang Xue