939 search results - page 49 / 188 » Semantic Abstraction and Quantum Computation |
BIRTHDAY
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...
TLCA
2005
Springer
15 years 3 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...
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: When planning teams for projects with specific goals, employees of a company have to group together so well, that all necessary knowledge for conquering the project’s ...
ISVC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This article describes a novel junction descriptor that encodes junctions’ semantic information in terms incoming lines’ orientations, both in 2D and 3D. A Kalman fi...
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...