Sciweavers

1419 search results - page 152 / 284
» A Characterization of Constructive Dimension
Sort
View
AAAI
2008
15 years 7 months ago
Horn Complements: Towards Horn-to-Horn Belief Revision
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
Marina Langlois, Robert H. Sloan, Balázs Sz...
ICASSP
2010
IEEE
15 years 4 months ago
Synthesizing speech from Doppler signals
It has long been considered a desirable goal to be able to construct an intelligible speech signal merely by observing the talker in the act of speaking. Past methods at performin...
Arthur R. Toth, Kaustubh Kalgaonkar, Bhiksha Raj, ...
ENTCS
2006
135views more  ENTCS 2006»
15 years 4 months ago
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge
zing Mutually Referential Abstract Objects: The Value Recursion Challenge Don Syme 1 Microsoft Research, Cambridge, U.K. Mutual dependencies between objects arise frequently in pr...
Don Syme
CORR
2007
Springer
128views Education» more  CORR 2007»
15 years 4 months ago
Equivalence of LP Relaxation and Max-Product for Weighted Matching in General Graphs
— Max-product belief propagation is a local, iterative algorithm to find the mode/MAP estimate of a probability distribution. While it has been successfully employed in a wide v...
Sujay Sanghavi
RE
2006
Springer
15 years 4 months ago
On Goal-based Variability Acquisition and Analysis
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...
Sotirios Liaskos, Alexei Lapouchnian, Yijun Yu, Er...