Sciweavers

3330 search results - page 574 / 666
» software 2010
Sort
View
TCS
2010
14 years 8 months ago
On the complexities of consistency checking for restricted UML class diagrams
Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical consistency easily. This paper focus...
Ken Kaneiwa, Ken Satoh
TMI
2010
318views more  TMI 2010»
14 years 8 months ago
elastix: A Toolbox for Intensity-Based Medical Image Registration
—Medical image registration is an important task in medical image processing. It refers to the process of aligning data sets, possibly from different modalities (e.g., magnetic r...
Stefan Klein, Marius Staring, Keelin Murphy, Max A...
79
Voted
TOSEM
2010
109views more  TOSEM 2010»
14 years 8 months ago
Modular aspect-oriented design with XPIs
e, or XPI. XPIs abstract crosscutting behaviors and make these abstractions explicit. XPIs can be used, albeit with limited enforcement of interface rules, with existing AOP langua...
Kevin J. Sullivan, William G. Griswold, Hridesh Ra...
TSD
2010
Springer
14 years 8 months ago
Online TV Captioning of Czech Parliamentary Sessions
Abstract. In the paper we introduce the on-line captioning system developed by our teams and used by the Czech Television (CTV), the public service broadcaster in the Czech Republi...
Jan Trmal, Ales Prazák, Zdenek Loose, Josef...
94
Voted
TSE
2010
136views more  TSE 2010»
14 years 8 months ago
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
Mark Harman, Phil McMinn