4211 search results - page 573 / 843 » Types as Abstract Interpretations |
190
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In recent years, particle filters have emerged as a useful tool that enables the application of Bayesian reasoning to problems requiring dynamic state estimation. The ef...
159
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
161
click to vote
ECSQARU
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Binary join trees have been a popular structure to compute the impact of multiple belief functions initially assigned to nodes of trees or networks. Shenoy has proposed t...
159
click to vote
EGOV
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In the CB-BUSINESS project (IST-2001-33147, http://www.cbbusiness.com/), a number of administrative services from public agencies and professional chambers in different c...
145
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A smart transducer network hosts various nodes with different functionality. Our approach offers the possibility to design different smart transducer nodes as a system...