6514 search results - page 194 / 1303 » Low-Knowledge Algorithm Control |
100
Voted
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be b...
104
Voted
ICML
2010
IEEE
15 years 3 months ago
2010
IEEE
We introduce new, efficient algorithms for value iteration with multiple reward functions and continuous state. We also give an algorithm for finding the set of all nondominated a...
134
click to vote
BIOSYSTEMS
2007
15 years 2 months ago
2007
This paper presents an approach for controlling gene networks based on a Markov chain model, where the state of a gene network is represented as a probability distribution, while ...
208
Voted
ICDE
1999
IEEE
16 years 3 months ago
1999
IEEE
This paper proposes methodologies to control the access of B-tree-indexed data in a batch and real-time fashion. Algorithms are proposed to insert, query, delete, and rebalance B-...
121
Voted
TLCA
2005
Springer
15 years 7 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...