Sciweavers

1099 search results - page 147 / 220
» Least-Squares Independence Test
Sort
View
TIME
2005
IEEE
15 years 11 months ago
LOLA: Runtime Monitoring of Synchronous Systems
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
Ben D'Angelo, Sriram Sankaranarayanan, Césa...
SIGIR
2005
ACM
15 years 11 months ago
Integrating word relationships into language models
In this paper, we propose a novel dependency language modeling approach for information retrieval. The approach extends the existing language modeling approach by relaxing the ind...
Guihong Cao, Jian-Yun Nie, Jing Bai
ATAL
2005
Springer
15 years 11 months ago
Multi-agent reward analysis for learning in noisy domains
In many multi agent learning problems, it is difficult to determine, a priori, the agent reward structure that will lead to good performance. This problem is particularly pronoun...
Adrian K. Agogino, Kagan Tumer
ATAL
2005
Springer
15 years 11 months ago
Dynamic epistemic logic with assignment
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
VISUAL
2005
Springer
15 years 11 months ago
Compressed Domain Image Retrieval Using JPEG2000 and Gaussian Mixture Models
We describe and compare three probabilistic ways to perform Content Based Image Retrieval (CBIR) in compressed domain using images in JPEG2000 format. Our main focus are arbitrary ...
Alexandra Teynor, Wolfgang Müller, Wolfgang L...