Sciweavers

1981 search results - page 117 / 397
» Model-Checking Hierarchical Structures
Sort
View
AI
2005
Springer
13 years 10 months ago
On the logic of cooperation and propositional control
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
Wiebe van der Hoek, Michael Wooldridge
ICML
2001
IEEE
14 years 11 months ago
Continuous-Time Hierarchical Reinforcement Learning
Hierarchical reinforcement learning (RL) is a general framework which studies how to exploit the structure of actions and tasks to accelerate policy learning in large domains. Pri...
Mohammad Ghavamzadeh, Sridhar Mahadevan
CHI
2003
ACM
14 years 10 months ago
Containers: a new hierarchical model for browser interfaces
The development of a low bandwidth, high error tolerant neural browser, called the BrainBrowser, has raised new navigational issues. With this paradigm shift of twodimensional spa...
Chad Owens
DATE
2008
IEEE
106views Hardware» more  DATE 2008»
14 years 4 months ago
Modeling Event Stream Hierarchies with Hierarchical Event Models
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
Jonas Rox, Rolf Ernst
ICTAI
2007
IEEE
14 years 4 months ago
Assessing Hierarchical Cooperative CoEvolution
Recently, many research efforts are directed towards coevolutionary algorithms. The present work aims at the assessment of Hierarchical Cooperative CoEvolution (HCCE) being proper...
Michail Maniadakis, Panos E. Trahanias