2485 search results - page 213 / 497 » Time Bounded Frequency Computations |
174
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent findings have shown that humans can adapt their internal control model to account for the changing dynamics of systems they manipulate. In this paper, we explore the effect...
193
click to vote
EVOW
1994
Springer
15 years 10 months ago
1994
Springer
One of the main problems in applying evolutionary optimisation methods is the choice of operators and parameter values. This paper propose a competitive evolution method, in which ...
155
click to vote
TACAS
2007
Springer
16 years 20 days ago
2007
Springer
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
153
click to vote
FCT
2005
Springer
16 years 2 days ago
2005
Springer
We present an algorithm which calculates a minimum cut and its weight in an undirected graph with nonnegative real edge weights, n vertices and m edges, in time O( ` max (log n, mi...
164
click to vote
AIPS
2008
15 years 9 months ago
2008
We present an algorithm that quickly finds optimal plans for unforeseen agent preferences within graph-based planning domains where actions have deterministic outcomes and action ...