3031 search results - page 441 / 607 » Model Driven Testing Based on Test History |
114
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
157
click to vote
APN
2001
Springer
15 years 8 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
154
click to vote
DIS
2001
Springer
15 years 7 months ago
2001
Springer
In the context of classification problems, algorithms that generate multivariate trees are able to explore multiple representation languages by using decision tests based on a com...
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
We investigated nonrigid co-registration of PET and MR breast images to improve diagnostic specificity in difficult-to-interpret mammograms, and ultimately to avoid biopsy. A defo...
117
Voted
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
In this paper, we address the complex problem of rapid modeling
of large-scale areas and present a novel approach for the automatic
reconstruction of cities from remote sensor da...