Sciweavers

3888 search results - page 175 / 778
» Change-Driven Model Transformations
Sort
View
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 8 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
SIGSAND
2008
15 years 6 months ago
Relational Model Driven Application Design
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
Michael Guckert, René Gerlach
137
Voted
NIPS
2004
15 years 6 months ago
Chemosensory Processing in a Spiking Model of the Olfactory Bulb: Chemotopic Convergence and Center Surround Inhibition
This paper presents a neuromorphic model of two olfactory signalprocessing primitives: chemotopic convergence of olfactory receptor neurons, and center on-off surround lateral inh...
Baranidharan Raman, Ricardo Gutierrez-Osuna
BMVC
1998
15 years 6 months ago
Non-Rigid Image Registration Using a Parameter-Free Elastic Model
The paper presents a new parameter-free approach to non-rigid image registration, where displacements, obtained through a mapping of boundary structures in the source and target i...
Wladimir Peckar, Christoph Schnörr, Karl Rohr...
WSC
2000
15 years 6 months ago
Avatar kinematics modeling for telecollaborative virtual environments
This paper introduced the application of a more efficient mathematical representation of the kinematics of avatars, or digital human beings, in telecollaborative virtual reality e...
Cristian Luciano, Pat Banerjee