Sciweavers

3387 search results - page 491 / 678
» Parallel graphics and visualization
Sort
View
KBSE
1997
IEEE
15 years 8 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
AGTIVE
2007
Springer
15 years 8 months ago
Generating Domain-Specific Model Editors with Complex Editing Commands
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
Gabriele Taentzer, André Crema, René...
ACMDIS
2004
ACM
15 years 8 months ago
I am driving through sound space
This paper describes the usage of a force feedback steering wheel interface in sound environments focusing on the example of sound.toy. Sound.toy is a student's project for c...
Carlos A. Rocha
ICPR
2010
IEEE
15 years 7 months ago
Perceptual Image Retrieval by Adding Color Information to the Shape Context Descriptor
In this paper we present a method for the retrieval of images in terms of perceptual similarity. Local color information is added to the shape context descriptor in order to obtain...
Marçal Rusiñol, Farshad Nourbakhsh, Dimosthenis ...
AWPN
2008
232views Algorithms» more  AWPN 2008»
15 years 5 months ago
Synthesis of Petri Nets from Infinite Partial Languages with VipTool
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
Robin Bergenthum, Sebastian Mauser