2555 search results - page 235 / 511 » Quantifiers and Working Memory |
157
Voted
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
In the challenges faced by organisations in the area of knowledge management, there is clearly a role for information and communications technologies in supporting the exploitatio...
140
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
156
Voted
ICANN
2001
Springer
15 years 9 months ago
2001
Springer
Unlike traditional reinforcement learning (RL), market-based RL is in principle applicable to worlds described by partially observable Markov Decision Processes (POMDPs), where an ...
123
Voted
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
145
Voted
ISLPED
1995
ACM
15 years 8 months ago
1995
ACM
In this paper we present a novel approach to model the search space for optimal set data types in network component realisations. The main objective is to arrive at power efficie...