Sciweavers

1836 search results - page 270 / 368
» Modeling and Visualization of Cardiovascular Systems
Sort
View
FM
2009
Springer
106views Formal Methods» more  FM 2009»
14 years 3 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
3DIM
2007
IEEE
14 years 3 months ago
Interactive Scanning of Haptic Textures and Surface Compliance
In modern computer graphics, 3D scanning is common practise for the acquisition of the geometry of objects. However, in addition to geometric models, physical models of interactio...
Sheldon Andrews, Jochen Lang
IRI
2007
IEEE
14 years 3 months ago
The Certification of Software Tools with respect to Software Standards
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
Panuchart Bunyakiati, Anthony Finkelstein, David S...
IV
2007
IEEE
155views Visualization» more  IV 2007»
14 years 3 months ago
Navani: Navigating Large-Scale Visualisations with Animated Transitions
When visualising datasets that are too large to be displayed in their entirity, interactive navigation is a common solution. However, instantaneous updates of the visualisation wh...
Kevin Pulo
GECCO
2007
Springer
169views Optimization» more  GECCO 2007»
14 years 3 months ago
An evolutionary platform for developing next-generation electronic circuits
In this paper, a new method for evolving simple electronic circuits is discussed, with the aim of improving the reliability and performance of basic circuit blocks. Next-generatio...
James A. Hilder, Andy M. Tyrrell