1712 search results - page 287 / 343 » A Computational Approach to Binding Theory |
102
click to vote
CASES
2006
ACM
15 years 5 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
139
click to vote
DEON
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
125
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a methodology for using heuristic search methods to optimise cancer chemotherapy. Specifically, two evolutionary algorithms - Population Based Incremental Lear...
136
click to vote
MICCAI
1998
Springer
15 years 5 months ago
1998
Springer
Over the last five years, new "voxel-based" approaches have allowed important progress in multimodal image registration, notably due to the increasing use of information-...
121
click to vote
ICML
1994
IEEE
15 years 5 months ago
1994
IEEE
Reinforcement learning (RL) algorithms provide a sound theoretical basis for building learning control architectures for embedded agents. Unfortunately all of the theory and much ...