The animation of synthetic faces is still a low-level process requiring much human expertise and hw/sw resources. The constraint-based facial animation editor system, FESINC, provides two kinds of support: allows the a-priory, declarative definition of dynamical expressions and requirements, and assures that while making the animation, these requirements are fulfilled. The novelty of the approa...

This paper mirrors an invited talk to ISCISC 2011. It is not a conventional paper so much as an essay summarizing thoughts on a little-talked-about subject. My goal is to intermix some introspection about definitions with examples of them, these examples drawn mostly from cryptography. Underpinning our discussion are two themes. The first is that definitions are constructed. They are i...

0

This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a strategy is defined explicitly as a set of derivations of an abstract reduction system. We then move to a more intensional definition supporting the abstract view but more operational in the sense that it describes a mea...

This paper is a contribution to the formal study and analysis of vernacular forms of program derivation. Specifically, in this paper, our vernacular derivations are elementary program transformations over the natural numbers. We provide an intensional semantics for these transformations within the derivations of the Elementary theory of Operations and Numbers, EON, [Bee85]. This semantics is in...

This paper presents a new metamodel based on partially ordered hypersets. The metamodel is minimalist, its only primitives being atoms, potentially infinite hypersets and partial order. The type system is very loose and supports concurrent extensional and intensional definition of types. Every element of the metamodel can be directly referenced, thanks to a powerful automated reification facili...

The specifications of automated learning scenarios can lead to advantages for virtual learning environments and important benefits for organizations, although research in this e-learning area has not addressed this issue. To achieve this goal, one requirement is to have an infrastructure able to support the execution of specifications of learning scenarios. This paper presents an open service-o...

We describe a logic language to formally express interdependencies between classes belonging to different schemas, the socalled interschema knowledge. These interdependencies allow a designer of a multidatabase (MDB) to establish relationships between both the intensional definition and the set of instances of classes represented in different schemas. These assertions form the „backbone“ of the...

My discussion will be focussed on the notion of a property. I first present the standard intensional definition of a property, which is formulated in terms of possible worlds, and outline some of the philosophical problems this definition leads to. Then I introduce the notion of a conceptual space and show how such spaces can be used as a basis for a new criterion of what a property is. This cr...