Sciweavers

452 search results - page 49 / 91
» An Active Approach to Automatic Case Generation
Sort
View
ICSE
2005
IEEE-ACM
15 years 10 months ago
Check 'n' crash: combining static checking and testing
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
Christoph Csallner, Yannis Smaragdakis
ICIDS
2009
Springer
15 years 4 months ago
Bridging Media with the Help of Players
We suggest harvesting the power of multiplayer design to bridge content across different media platforms and develop player-driven cross-media experiences. This paper first argues ...
Michael Nitsche, Matthew Drake, Janet Murray
DAGM
2010
Springer
14 years 10 months ago
Semi-supervised Learning of Edge Filters for Volumetric Image Segmentation
Abstract. For every segmentation task, prior knowledge about the object that shall be segmented has to be incorporated. This is typically performed either automatically by using la...
Margret Keuper, Robert Bensch, Karsten Voigt, Alex...
IV
2009
IEEE
100views Visualization» more  IV 2009»
15 years 4 months ago
Scouting Requirements Quality Using Visual Representations
Examining the quality of a set of requirements is a sensible project health check given their role in the engineering of quality software systems. However, not all project stakeho...
Orlena Gotel, Francis T. Marchese
DALT
2004
Springer
15 years 3 months ago
Representational Content and the Reciprocal Interplay of Agent and Environment
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
Tibor Bosse, Catholijn M. Jonker, Jan Treur