1159 search results - page 49 / 232 » The LINK system: MUC-4 test results and analysis |
217
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
170
click to vote
LCN
2002
IEEE
15 years 11 months ago
2002
IEEE
It has become increasingly popular to construct large parallel computers by connecting many inexpensive nodes built with commercial-off-the-shelf (COTS) parts. These clusters can ...
157
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
The Semantic Web initiative has led to an upsurge of the interest in rules as a general and powerful way of processing, combining, and analyzing semantic information. Since severa...
149
click to vote
JC
2002
15 years 5 months ago
2002
Exclusion algorithms are a well-known tool in the area of interval analysis for finding all solutions of a system of nonlinear equations or for finding the global minimum of a fun...
173
click to vote
COMPSAC
2008
IEEE
16 years 19 days ago
2008
IEEE
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...