796 search results - page 63 / 160 » An Overview of Separation Logic |
FPGA
2001
ACM
14 years 2 months ago
2001
ACM
Conventional technology mapping algorithms for SRAM-based Field Programmable Gate Arrays (FPGAs) are normally carried out on a fixed logic decomposition of a circuit. The impact o...
ICLP
1995
Springer
14 years 1 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
ALT
2001
Springer
14 years 7 months ago
2001
Springer
The growing use of information visualization tools and data mining algorithms stems from two separate lines of research. Information visualization researchers believe in the impor...
MMM
2009
Springer
14 years 6 months ago
2009
Springer
This paper presents a novel key estimation method of sound sources based on the music theory known as "circle of fifths". We firstly overview music theory and formulate t...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
We present an overview of the data collection and transcription efforts for the COnversational Speech In Noisy Environments (COSINE) corpus. The corpus is a set of multi-party con...