630 search results - page 36 / 126 » Symbolic Domain Decomposition |
ICCAD
2002
IEEE
14 years 5 months ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
EJASMP
2010
13 years 3 months ago
2010
In this paper, we re-visit an original concept of speech coding in which the signal is separated into the carrier modulated by the signal envelope. A recently developed technique, ...
MLMI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper proposes an analysis technique for wide-band audio applications based on the predictability of the temporal evolution of Quadrature Mirror Filter (QMF) sub-ban...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
Factoid questions often contain one or more assertions (facts) about their answers. However, existing question-answering (QA) systems have not investigated how the multiple facts ...
PAKDD
2001
ACM
14 years 28 days ago
2001
ACM
Inclusion of domain knowledge in a process of knowledge discovery in databases is a complex but very important part of successful knowledge discovery solutions. In real-life data m...