8347 search results - page 1447 / 1670 » Performance testing of software systems |
165
click to vote
CIT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we introduce BioPubMiner, a machine learning component-based platform for biomedical information analysis. BioPubMiner employs natural language processing t...
184
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
167
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
Having being proposed for the fourth time, the QA at CLEF track has confirmed a still raising interest from the research community, recording a constant increase both in the numbe...
177
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
Due to our increasing reliance on computer systems, security incidents and their causes are important problems that need to be addressed. To contribute to this objective, the pape...
182
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...