Sciweavers

1782 search results - page 306 / 357
» A Data Transformation Method Based on Schema Mapping
Sort
View
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
15 years 7 months ago
Traceability-Driven Model Refinement for Test Case Generation
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
Matthias Riebisch, Michael Hübner
ISMIS
2005
Springer
15 years 7 months ago
Learning the Daily Model of Network Traffic
Abstract. Anomaly detection is based on profiles that represent normal behaviour of users, hosts or networks and detects attacks as significant deviations from these profiles. In t...
Costantina Caruso, Donato Malerba, Davide Papagni
MICCAI
2008
Springer
15 years 8 months ago
Soft Tissue Tracking for Minimally Invasive Surgery: Learning Local Deformation Online
Accurate estimation and tracking of dynamic tissue deformation is important to motion compensation, intra-operative surgical guidance and navigation in minimally invasive surgery. ...
Peter Mountney and Guang-Zhong Yang
TMI
2010
251views more  TMI 2010»
14 years 8 months ago
3-D Scalable Medical Image Compression With Optimized Volume of Interest Coding
We present a novel 3-D scalable compression method for medical images with optimized volume of interest (VOI) coding. The method is presented within the framework of interactive te...
Victor Sanchez, Rafeef Abugharbieh, Panos Nasiopou...
APLAS
2006
ACM
15 years 8 months ago
Automatic Testing of Higher Order Functions
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
Pieter W. M. Koopman, Rinus Plasmeijer