3384 search results - page 239 / 677 » More Testable Properties |
143
click to vote
COSIT
2005
Springer
16 years 4 days ago
2005
Springer
Arrows are major components of diagrams, where they are typically used to facilitate the communication of spatial and temporal knowledge. An automated interpretation of arrow diagr...
142
click to vote
DAGM
2005
Springer
16 years 4 days ago
2005
Springer
Filtering a signal with a finite impulse response (FIR) filter introduces dependencies between the errors in the filtered image due to overlapping filter masks. If the filteri...
134
click to vote
ECSQARU
2005
Springer
16 years 4 days ago
2005
Springer
Two conciliation processes for intelligent agents based on an iterated mergethen-revise change function for belief profiles are introduced and studied. The first approach is ske...
165
click to vote
ECSQARU
2005
Springer
16 years 4 days ago
2005
Springer
The Transferable Belief Model is a general framework for managing imprecise and uncertain information using belief functions. In this framework, the discounting operation allows to...
176
click to vote
FOSSACS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...