19936 search results - page 120 / 3988 » Inductive process modeling |
203
click to vote
BIS
2009
15 years 7 months ago
2009
Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
156
click to vote
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
The minimum message length (MML) principle for inductive inference has been successfully applied to image segmentation where the images are modelled by Markov random fields (MRF)....
175
click to vote
BIRTHDAY
2007
Springer
16 years 17 days ago
2007
Springer
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...
183
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...