1912 search results - page 261 / 383 » On the evaluation of argumentation formalisms |
157
click to vote
ERCIMDL
2007
Springer
16 years 16 days ago
2007
Springer
We propose and evaluate a query expansion mechanism that supports searching and browsing in collections of annotated documents. Based on generative language models, our feedback me...
177
click to vote
SAFECOMP
2007
Springer
16 years 15 days ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
184
click to vote
IEEESCC
2005
IEEE
15 years 12 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
161
click to vote
IWIA
2005
IEEE
15 years 12 months ago
2005
IEEE
Stellar aggregates and correlates alerts from heterogeneous network defense systems, building scenarios and estimating the security risk of the entire scenario. Prior work conside...
165
click to vote
METRICS
2005
IEEE
15 years 12 months ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...