Sciweavers

511 search results - page 75 / 103
» Composition of Semantic Relations: Model and Applications
Sort
View
VW
1998
Springer
176views Virtual Reality» more  VW 1998»
15 years 4 months ago
A Mixed 2D/3D Interface for Music Spatialization
We propose a system for controlling in real time the localisation of sound sources. The system, called MidiSpace, is a real time spatializer of Midi music. We raise the issue of wh...
François Pachet, Olivier Delerue
SLE
2009
Springer
15 years 6 months ago
Ontological Metamodeling with Explicit Instantiation
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
Alfons Laarman, Ivan Kurtev
91
Voted
CAV
2009
Springer
134views Hardware» more  CAV 2009»
16 years 9 days ago
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
Alexander Wenner, Markus Müller-Olm, Peter La...
NDJFL
2000
79views more  NDJFL 2000»
14 years 11 months ago
An Information-Based Theory of Conditionals
We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Sc...
Wayne Wobcke
APN
2001
Springer
15 years 4 months ago
Rewriting Logic as a Unifying Framework for Petri Nets
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
Mark-Oliver Stehr, José Meseguer, Peter Csa...