5718 search results - page 376 / 1144 » Modeling Rule Precision |
179
Voted
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
152
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
150
click to vote
IJCAI
2007
15 years 8 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
195
click to vote
COLING
1996
15 years 8 months ago
1996
Prepositional phrase attachment is a major cause of stru(:tural alnbiguity in natural language. Recent work has been dependent on corpus-based approaches to deal with this problem...
177
click to vote
DAGM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a system for detecting shadows in dynamic outdoor scenes. The technique is based on fusing background subtraction operations performed on both color and dispar...