4451 search results - page 719 / 891 » Continuous model synthesis |
173
click to vote
ATVA
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
186
click to vote
MHCI
2007
Springer
16 years 12 days ago
2007
Springer
This paper presents a photo browsing system on mobile devices to browse and search photos efficiently by tilting action. It employs tilt dynamics and multi-scale photo screen layo...
147
click to vote
WAOA
2007
Springer
16 years 11 days ago
2007
Springer
We consider the following distributed optimization problem: three agents i = 1, 2, 3 are each presented with a load drawn independently from the same known prior distribution. Then...
175
click to vote
ASAP
2005
IEEE
15 years 12 months ago
2005
IEEE
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating design...
183
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state spac...