9067 search results - page 516 / 1814 » Adaptive Model Checking |
188
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
The specific organization used by a multi-agent system is crucial for its effectiveness and efficiency. In dynamic environments, or when the objectives of the system shift, the ...
140
click to vote
UIST
1996
ACM
15 years 11 months ago
1996
ACM
The Cage is an easy to use 3D grid. Built into a 3D modeler, it provides a visualized reference coordinate system that helps the user to orient himself in 3D space, and that suppo...
204
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
This paper addresses the problem of extending an adaptive information filtering system to make decisions about the novelty and redundancy of relevant documents. It argues that rel...
226
click to vote
JMLR
2012
13 years 9 months ago
2012
This paper proposes a new randomized strategy for adaptive MCMC using Bayesian optimization. This approach applies to nondifferentiable objective functions and trades off explor...
185
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...