Sciweavers

2253 search results - page 150 / 451
» The ComFoRT Reasoning Framework
Sort
View
FMSD
2002
114views more  FMSD 2002»
15 years 4 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
ISVC
2010
Springer
15 years 2 months ago
Markov Random Field-Based Clustering for the Integration of Multi-view Range Images
Abstract. Multi-view range image integration aims at producing a single reasonable 3D point cloud. The point cloud is likely to be inconsistent with the measurements topologically ...
Ran Song, Yonghuai Liu, Ralph R. Martin, Paul L. R...
ECSQARU
2009
Springer
15 years 2 months ago
Can the Minimum Rule of Possibility Theory Be Extended to Belief Functions?
Abstract. When merging belief functions, Dempster rule of combination is justified only when sources can be considered as independent. When dependencies are ill-known, it is usual ...
Sébastien Destercke, Didier Dubois
ICC
2009
IEEE
15 years 2 months ago
Opportunities, Constraints, and Benefits of Relaying in the Presence of Interference
In this paper the interference channel is extended by additional relay nodes in order to investigate the influence of interference on the design and performance of relaying protoco...
Peter Rost, Gerhard Fettweis, J. Nicholas Laneman
CSL
2011
Springer
14 years 11 months ago
Hybrid user intention modeling to diversify dialog simulations
This paper proposes a novel user intention simulation method which is data-driven but can integrate diverse user discourse knowledge to simulate various types of user behaviors. A...
Sangkeun Jung, Cheongjae Lee, Kyungduk Kim, Donghy...