2661 search results - page 387 / 533 » A Semantics for Abstraction |
87
Voted
GMP
2008
IEEE
14 years 11 months ago
2008
IEEE
Abstract. This paper presents a method for analogizing high-dimensional spacetime curves, and shows how it can be used to transform a motion sequence into new content and styles ac...
74
Voted
HASKELL
2008
ACM
14 years 11 months ago
2008
ACM
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
88
Voted
DEXA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
71
Voted
ACTA
2010
14 years 10 months ago
2010
Abstract This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral semantics over process algebras from old ones...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Debugging is an important prerequisite for the wide-spread application of ontologies, especially in areas that rely upon everyday users to create and maintain knowledge b...