Sciweavers

203 search results - page 27 / 41
» Quantale Modules and their Operators, with Applications
Sort
View
CORR
2011
Springer
199views Education» more  CORR 2011»
14 years 4 months ago
From Machine Learning to Machine Reasoning
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
Léon Bottou
EJASMP
2010
114views more  EJASMP 2010»
14 years 4 months ago
Wide-Band Audio Coding Based on Frequency-Domain Linear Prediction
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, ...
Petr Motlícek, Sriram Ganapathy, Hynek Herm...
HOST
2011
IEEE
13 years 9 months ago
Enhancing security via provably trustworthy hardware intellectual property
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
Eric Love, Yier Jin, Yiorgos Makris
PLDI
2004
ACM
15 years 3 months ago
Fast searches for effective optimization phase sequences
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...
Prasad Kulkarni, Stephen Hines, Jason Hiser, David...
SIGMOD
2009
ACM
120views Database» more  SIGMOD 2009»
15 years 10 months ago
Kernel-based skyline cardinality estimation
The skyline of a d-dimensional dataset consists of all points not dominated by others. The incorporation of the skyline operator into practical database systems necessitates an ef...
Zhenjie Zhang, Yin Yang, Ruichu Cai, Dimitris Papa...