9067 search results - page 1485 / 1814 » Adaptive Model Checking |
185
click to vote
CGI
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents a new algorithm and technique for rendering triangular surfaces in pen-and-ink edge-based strokes. Our technique integrates two very important illustration str...
191
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
RVRL (Rule Value Reinforcement Learning) is a new algorithm which extends an existing learning framework that models the environment of a situated agent using a probabilistic rule...
185
click to vote
CIA
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We adopt the Markov chain framework to model bilateral negotiations among agents in dynamic environments and use Bayesian learning to enable them to learn an optimal stra...
172
click to vote
CIKM
2006
Springer
15 years 11 months ago
2006
Springer
A fundamental building block of many data mining and analysis approaches is density estimation as it provides a comprehensive statistical model of a data distribution. For that re...
178
click to vote
EUROMICRO
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper describes a method for the "Analysis and Prediction of Performance for Evolving Architectures" (APPEAR). The method aims at performance estimation of adapted ...