Sciweavers

3281 search results - page 215 / 657
» An Approach to use Executable Models for Testing
Sort
View
ECCV
2002
Springer
16 years 5 months ago
Using Dirichlet Free Form Deformation to Fit Deformable Models to Noisy 3-D Data
Free-form deformations (FFD) constitute an important geometric shape modification method that has been extensively investigated for computer animation and geometric modelling. In t...
Slobodan Ilic, Pascal Fua
123
Voted
MICCAI
2008
Springer
16 years 4 months ago
Nonrigid Registration of Dynamic Renal MR Images Using a Saliency Based MRF Model
Nonrigid registration of contrast-enhanced MR images is a difficult problem due to the change in pixel intensity caused by the washin and wash-out of the contrast agent. In this pa...
Dwarikanath Mahapatra, Ying Sun
129
Voted
IPPS
2007
IEEE
15 years 10 months ago
Security Threat Prediction in a Local Area Network Using Statistical Model
In today’s large and complex network scenario vulnerability scanners play a major role from security perspective by proactively identifying the known security problems or vulner...
Somak Bhattacharya, S. K. Ghosh
154
Voted
BIRTHDAY
2003
Springer
15 years 7 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
109
Voted
ICPP
1998
IEEE
15 years 7 months ago
High-Level Information - An Approach for Integrating Front-End and Back-End Compilers
We propose a new universal High-Level Information (HLI) format to effectively integrate front-end and back-end compilers by passing front-end information to the back-end compiler....
Sangyeun Cho, Jenn-Yuan Tsai, Yonghong Song, Bixia...