Sciweavers

4894 search results - page 96 / 979
» Choices
Sort
View
ICTAI
2003
IEEE
15 years 11 months ago
Q-Concept-Learning: Generalization with Concept Lattice Representation in Reinforcement Learning
One of the very interesting properties of Reinforcement Learning algorithms is that they allow learning without prior knowledge of the environment. However, when the agents use al...
Marc Ricordeau
ASP
2001
Springer
15 years 10 months ago
Logic Programming Agents and Game Theory
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
Marina De Vos, Dirk Vermeir
ACISP
2000
Springer
15 years 10 months ago
Two-Stage Optimisation in the Design of Boolean Functions
This paper shows how suitable choice of cost function can significantly affect the power of optimisation methods for the synthesising of Boolean functions. In particular we show ...
John A. Clark, Jeremy Jacob
FM
2006
Springer
142views Formal Methods» more  FM 2006»
15 years 9 months ago
Feature Specification and Static Analysis for Interaction Resolution
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
Marc Aiguier, Karim Berkani, Pascale Le Gall
BMVC
2002
15 years 8 months ago
Comparing Variations on the Active Appearance Model Algorithm
The Active Appearance Model (AAM) algorithm has proved to be a successful method for matching statistical models of appearance to new images. Since the original algorithm was desc...
Timothy F. Cootes, Panachit Kittipanya-ngam