Sciweavers

3995 search results - page 513 / 799
» Linearization of hybrid processes
Sort
View
MICCAI
2005
Springer
16 years 5 days ago
Brain Shift Computation Using a Fully Nonlinear Biomechanical Model
Abstract. In the present study, fully nonlinear (i.e. accounting for both geometric and material nonlinearities) patient specific finite element brain model was applied to predict ...
Adam Wittek, Ron Kikinis, Simon K. Warfield, Karol...
GCC
2004
Springer
16 years 1 days ago
Distributed MD4 Password Hashing with Grid Computing Package BOINC
Distributed computing on heterogeneous nodes, or grid computing, provides a substantial increase in computational power available for many applications. This paper reports our expe...
Stephen Pellicer, Yi Pan, Minyi Guo
UML
2004
Springer
16 years 12 hour ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
3DIM
2003
IEEE
15 years 12 months ago
Calibration of a Zooming Camera using the Normalized Image of the Absolute Conic
We present a novel technique for calibrating a zooming camera based on the invariance properties of the Normalized Image of the Absolute Conic (NIAC). First, we show that the came...
Jean-Yves Guillemaut, Alberto S. Aguado, John Illi...
SSDBM
2003
IEEE
136views Database» more  SSDBM 2003»
15 years 12 months ago
Acceleration of Relational Index Structures Based on Statistics
Relational index structures, as for instance the Relational Interval Tree, the Relational R-Tree, or the Linear Quadtree, support efficient processing of queries on top of existin...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...