7988 search results - page 1093 / 1598 » A Useful Undecidable Theory |
153
click to vote
DSN
2002
IEEE
16 years 3 days ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
243
click to vote
HASE
2002
IEEE
16 years 3 days ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
183
click to vote
HICSS
2002
IEEE
16 years 3 days ago
2002
IEEE
The problem of total participation in asynchronous meetings convened with distributed group support systems has been noted frequently but investigated rarely. This paper describes...
199
click to vote
ICDM
2002
IEEE
16 years 2 days ago
2002
IEEE
Support vector machine (SVM) is a new learning method developed in recent years based on the foundations of statistical learning theory. By taking a transductive approach instead ...
227
click to vote
ISSS
2002
IEEE
16 years 2 days ago
2002
IEEE
Software pipelining and unfolding are commonly used techniques to increase parallelism for DSP applications. However, these techniques expand the code size of the application sign...