183 search results - page 10 / 37 » Trace Semantics is Fully Abstract |
MICCAI
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. Doppler echocardiography is widely used for functional assessment of heart valves such as mitral valve. In current clinical work flow, to extract Doppler measurements, th...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
TLCA
2005
Springer
15 years 2 months ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
68
Voted
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
TCBB
2011
14 years 4 months ago
2011
Stochastic models such as hidden Markov models or stochastic context free grammars can fail to return the correct, maximum likelihood solution in the case of semantic ambiguity. T...