Sciweavers

11462 search results - page 400 / 2293
» Developing Application-Centric Methods
Sort
View
129
Voted
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 6 months ago
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenst...
FECS
2006
142views Education» more  FECS 2006»
15 years 6 months ago
CFD Graphical Interface in Matlab
- The use of computational methods for solving partial differential equations in the field of Heat Transfer is crucial. However, the actual user friendly commercial applications, f...
Tiago Pinho, Senhorinha Teixeira
INTERACT
2003
15 years 6 months ago
The New Text and Graphical Input Device: Compact Biometrical Data Acquisition
Abstract: Development of new text and graphical input devices is considered to be important part of humancomputer interaction by many researchers worldwide. Our paper presents our ...
Pen Ondrej Rohlik, Pavel Mautner, Václav Ma...
194
Voted
DAGSTUHL
1997
15 years 6 months ago
Interpolation and Approximation of Surfaces from Three-dimensional Scattered Data Points
There is a wide range of applications for which surface interpolation or approximation from scattered data points in space is important. Dependent on the field of application and...
Robert Mencl, Heinrich Müller
128
Voted
CORR
2008
Springer
78views Education» more  CORR 2008»
15 years 5 months ago
3D/4D ultrasound registration of bone
Abstract--This paper presents a method to reduce the invasiveness of Computer Assisted Orthopaedic Surgery (CAOS) using ultrasound. In this goal, we need to develop a method for 3D...
Jonathan Schers, Jocelyne Troccaz, Vincent Daanen,...