630 search results - page 36 / 126 » Symbolic Domain Decomposition |
101
Voted
ICCAD
2002
IEEE
15 years 9 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...
107
click to vote
EJASMP
2010
14 years 7 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, ...
111
click to vote
MLMI
2007
Springer
15 years 6 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...
127
click to vote
CIKM
2011
Springer
14 years 19 days 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 ...
95
Voted
PAKDD
2001
ACM
15 years 5 months 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...