2649 search results - page 120 / 530 » Temporal Theories of Reasoning |
177
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
156
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. ...
182
click to vote
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
151
click to vote
FLAIRS
2003
15 years 8 months ago
2003
An approach to fuse multiple images based on Dempster-Shafer evidential reasoning is proposed in this article. Dempster-Shafer theory provides a complete framework for combining w...
199
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...