4502 search results - page 218 / 901 » Regular Model Checking |
110
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
In inter-subject registration, one often lacks a good model of the transformation variability to choose the optimal regularization. Some works attempt to model the variability in a...
178
click to vote
EMMCVPR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We propose a new model for image decomposition which separates an image into a cartoon, consisting only of geometric objects, and an oscillatory component, consisting of ...
143
click to vote
SCIENTOMETRICS
2010
15 years 1 months ago
2010
This paper proves two regularities that where found in the paper [V. Larivi
160
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
161
Voted
DSRT
2008
IEEE
16 years 22 days ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...