6608 search results - page 173 / 1322 » On the Completeness of Model Checking |
129
click to vote
DEDS
2006
15 years 4 months ago
2006
In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We...
173
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
169
click to vote
TACAS
2012
Springer
14 years 6 days ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
153
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
3D mesh models generated with range scanner or video images often have holes due to many occlusions by other objects and the object itself. This paper proposes a novel method to f...
154
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper presents a novel wavelet-based image denoising algorithm under overcomplete expansion. In order to optimize the denoising performance, we make a systematic study of bot...