3228 search results - page 489 / 646 » Computationally Sound Proofs |
ICST
2009
IEEE
13 years 7 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
ENTCS
2010
13 years 7 months ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
JNS
2010
2010
Initiation of Cracks in Griffith's Theory: An Argument of Continuity in Favor of Global Minimization
13 years 4 months ago
The initiation of a crack in a sound body is a real issue in the setting of Griffith's theory of brittle fracture. If one uses the concept of critical energy release rate (Gri...
PRESENCE
2010
13 years 4 months ago
2010
This paper introduces the concept and discusses the implications of immersive journalism, which is the production of news in a form in which people can gain firstperson experience...
TASLP
2010
13 years 4 months ago
2010
Spherical harmonic decomposition of wavefields is not only an active problem in acoustic signal processing but also a useful tool in a plethora of applications such as 3D beamform...