1836 search results - page 180 / 368 » Modeling and Visualization of Cardiovascular Systems |
171
click to vote
JOT
2008
15 years 5 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
161
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We present an online, recursive filtering technique to model linear dynamical systems that operate on the state space of symmetric positive definite matrices (tensors) that lie on...
173
click to vote
MMM
2006
Springer
15 years 11 months ago
2006
Springer
MPEG-7 is an excellent choice for the description of audiovisual content due to its flexibility and comprehensiveness. The drawback is that these properties also increase the comp...
110
click to vote
CGF
2006
15 years 5 months ago
2006
We present an interactive modeling system for flower composition that supports seamless transformation from an initial sketch to a detailed three-dimensional (3D) model. To begin,...
159
click to vote
ICFCA
2010
Springer
16 years 17 hour ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...