Sciweavers

5775 search results - page 837 / 1155
» A Rationale-based Analysis Tool
Sort
View
202
Voted
CVBIA
2005
Springer
16 years 11 days ago
Segmenting Cardiopulmonary Images Using Manifold Learning with Level Sets
Cardiopulmonary imaging is a key tool in modern diagnostic and interventional medicine. Automated analysis of MRI or ultrasound video is complicated by limitations on the image qua...
Qilong Zhang, Robert Pless
ECOOP
2005
Springer
16 years 11 days ago
Static Deadlock Detection for Java Libraries
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...
Amy Williams, William Thies, Michael D. Ernst
FASE
2005
Springer
16 years 11 days ago
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
Atanas Rountev, Scott Kagan, Jason Sawin
ICSOC
2005
Springer
16 years 10 days ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin
ISMIR
2005
Springer
176views Music» more  ISMIR 2005»
16 years 10 days ago
On the Modeling of Time Information for Automatic Genre Recognition Systems in Audio Signals
The creation of huge databases coming from both restoration of existing analogue archives and new content is demanding fast and more and more reliable tools for content analysis a...
Nicolas Scaringella, Giorgio Zoia