1836 search results - page 188 / 368 » Modeling and Visualization of Cardiovascular Systems |
165
click to vote
3DPVT
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a hybrid modeling system that fuses LiDAR data, an aerial image and ground view images for rapid creation of accurate building models. Outlines for complex bui...
182
click to vote
ECMDAFA
2006
Springer
15 years 9 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
178
click to vote
NIPS
2000
15 years 6 months ago
2000
The human figure exhibits complex and rich dynamic behavior that is both nonlinear and time-varying. Effective models of human dynamics can be learned from motion capture data usi...
200
Voted
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
127
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...