6608 search results - page 1180 / 1322 » On the Completeness of Model Checking |
149
Voted
AAAI
2008
15 years 6 months ago
2008
The construction of causal graphs from non-experimental data rests on a set of constraints that the graph structure imposes on all probability distributions compatible with the gr...
152
click to vote
APPROX
2008
Springer
15 years 6 months ago
2008
Springer
In the field of robust optimization, the goal is to provide solutions to combinatorial problems that hedge against variations of the numerical parameters. This constitutes an effor...
149
click to vote
AUSDM
2008
Springer
15 years 6 months ago
2008
Springer
The popularity of computer networks broadens the scope for network attackers and increases the damage these attacks can cause. In this context, Intrusion Detection Systems (IDS) a...
142
click to vote
C3S2E
2008
ACM
15 years 6 months ago
2008
ACM
In the last decade, a great many code clone detection tools have been proposed. Such a large number of tools calls for a quantitative comparison, and there have been several attem...
137
click to vote
CEAS
2008
Springer
15 years 6 months ago
2008
Springer
Gray mail, messages that could reasonably be considered either spam or good by different email users, is a commonly observed issue in production spam filtering systems. In this pa...