7820 search results - page 219 / 1564 » Formalization of Time and Space |
190
click to vote
JMLR
2010
15 years 2 months ago
2010
Current exact algorithms for score-based structure discovery in Bayesian networks on n nodes run in time and space within a polynomial factor of 2n . For practical use, the space ...
170
click to vote
AI
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. In this paper, we introduce an approach called RTBSS (RealTime Belief Space Search) for real-time decision making in large POMDPs. The approach is based on a look-ahead s...
171
click to vote
ENTCS
2000
15 years 7 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
200
click to vote
RTSS
1996
IEEE
15 years 11 months ago
1996
IEEE
We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks wh...
195
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Run-time Partial Reconfiguration (PR) speed is significant in applications especially when fast IP core switching is required. In this paper, we propose to use Direct Memory Acce...