2351 search results - page 125 / 471 » A Method of Requirement Inconsistency Analysis |
106
click to vote
SAS
2010
Springer
14 years 8 months ago
2010
Springer
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
TCS
2010
14 years 8 months ago
2010
We present a new approach for an average-case analysis of algorithms and data structures that supports a non-uniform distribution of the inputs and is based on the maximum likelih...
105
click to vote
CHARME
1995
Springer
15 years 1 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
CVPR
2007
IEEE
16 years 2 days ago
2007
IEEE
In this paper, we investigate linear discriminant analysis (LDA) methods for multiclass classification problems in hyperspectral imaging. We note that LDA does not consider pairwi...
TMI
1998
14 years 9 months ago
1998
Abstract—Functional magnetic resonance images (fMRI’s) provide high-resolution datasets which allow researchers to obtain accurate delineation and sensitive detection of activa...