652 search results - page 96 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
123
click to vote
JOT
2008
14 years 10 months ago
2008
This paper describes how use the HTMLEditorKit to perform web data mining on stock statistics for listed firms. Our focus is on making use of the web to get information about comp...
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
SIGPRO
2008
14 years 9 months ago
2008
Digital filters with linear phase responses, that is, constant group delay responses are needed in many applications for signal and image processing. In this paper, a novel method...
SIGIR
2006
ACM
15 years 3 months ago
2006
ACM
The paper is concerned with applying learning to rank to document retrieval. Ranking SVM is a typical method of learning to rank. We point out that there are two factors one must ...
RSP
1999
IEEE
15 years 2 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...