5757 search results - page 331 / 1152 » Dynamic Policy Programming |
150
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
197
click to vote
AAMAS
2010
Springer
15 years 6 months ago
2010
Springer
POMDPs and their decentralized multiagent counterparts, DEC-POMDPs, offer a rich framework for sequential decision making under uncertainty. Their computational complexity, howeve...
178
click to vote
PPAM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The paper presents an algorithm for scheduling parallel programs for execution in a parallel architecture based on dynamic SMP processor clusters with data transfers on t...
163
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
134
click to vote
IFIP
1992
Springer
15 years 10 months ago
1992
Springer
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...