6800 search results - page 206 / 1360 » Testing with Functions as Specifications |
151
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
139
click to vote
VMV
2000
15 years 5 months ago
2000
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...
IJCAI
1993
15 years 5 months ago
1993
: We present a set of axioms that justify the use of belief functions to quantify the beliefs held by an agent Y at time t and based on Y's evidential corpus. It is essentiall...
144
click to vote
ICDM
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper presents a simple but powerful extension of the maximum margin clustering (MMC) algorithm that optimizes multivariate performance measure specifically defined for clust...
141
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: There is an urgent need for new prognostic markers of breast cancer metastases to ensure that newly diagnosed patients receive appropriate therapy. Recent studies have...