2419 search results - page 330 / 484 » A Formal Approach to Software Testing |
129
click to vote
MICCAI
2007
Springer
16 years 4 months ago
2007
Springer
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...
148
click to vote
DLOG
2003
15 years 5 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
ACL
1998
15 years 5 months ago
1998
This paper examines the phenomenon of consonant spreading in Arabic stems. Each spreading involves a local surface copying of an underlying consonant, and, in certain phonological...
120
click to vote
TEC
2008
15 years 3 months ago
2008
This paper emphasizes the necessity of formally bringing qualitative and quantitative criteria of ergonomic design together, and provides a novel complementary design framework wit...
144
click to vote
UM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we address the problem of prioritising feedback on the basis of multiple heterogeneous pieces of information in exploratory learning. The problem arises whe...