225 search results - page 2 / 45 » Synthesizing Objects |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
FM
2003
Springer
14 years 21 days ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
ICCHP
1994
Springer
13 years 11 months ago
1994
Springer
This paper describes work in progress on automatic generation of "impact sounds" based on physical modelling. These sounds can be used as non-speech audio presentation of...
SYNTHESE
2008
13 years 7 months ago
2008
Objective Bayesian probability is often defined over rather simple domains, e.g., finite event spaces or propositional languages. This paper investigates the extension of objectiv...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...