261 search results - page 43 / 53 » A New Unfolding Approach to LTL Model Checking |
SAIG
2001
Springer
14 years 4 days ago
2001
Springer
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
ICIP
2009
IEEE
13 years 5 months ago
2009
IEEE
We introduce a new SIR particle filter that performs tracking in a joint feature space where pixel domain data are fused with measurements obtained from an 18-channel modulation d...
BILDMED
2008
13 years 9 months ago
2008
Abstract. Segmentation of the left ventricle (LV) is required to quantify LV remodeling after myocardial infarction. Therefore spatiotemporal Cine MR sequences including longaxis a...
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...