Sciweavers

4270 search results - page 525 / 854
» A Permutation Approach to Validation
Sort
View
SSIRI
2010
15 years 5 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
TC
2010
15 years 5 months ago
QoS Control for Pipelines of Tasks Using Multiple Resources
We consider soft real-time applications organised as pipelines of tasks using resources of different type (communication, computation, storage). The applications are assumed to be...
Tommaso Cucinotta, Luigi Palopoli
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
15 years 4 months ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
BMVC
2010
15 years 4 months ago
Back to the Future: Learning Shape Models from 3D CAD Data
Recognizing 3D objects from arbitrary view points is one of the most fundamental problems in computer vision. A major challenge lies in the transition between the 3D geometry of o...
Michael Stark, Michael Goesele, Bernt Schiele
BMVC
2010
15 years 4 months ago
Probabilistic Latent Sequential Motifs: Discovering Temporal Activity Patterns in Video Scenes
This paper introduces a novel probabilistic activity modeling approach that mines recurrent sequential patterns from documents given as word-time occurrences. In this model, docum...
Jagannadan Varadarajan, Rémi Emonet, Jean-M...