Sciweavers

5363 search results - page 490 / 1073
» Building the Cerebellum in a Computer
Sort
View
183
Voted
DAC
2006
ACM
16 years 8 months ago
Guiding simulation with increasingly refined abstract traces
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
Kuntal Nanshi, Fabio Somenzi
DAC
2006
ACM
16 years 8 months ago
Synthesis of high-performance packet processing pipelines
Packet editing is a fundamental building block of data communication systems such as switches and routers. Circuits that implement this function are critical and define the featur...
Cristian Soviani, Ilija Hadzic, Stephen A. Edwards
IPMI
1999
Springer
16 years 8 months ago
MEG Source Imaging Using Multipolar Expansions
We describe the use of truncated multipolar expansions for producing dynamic images of cortical neural activation from measurements of the magnetoencephalogram. We use a signal-sub...
John C. Mosher, Richard M. Leahy, David W. Shattuc...
196
Voted
ICML
2008
IEEE
16 years 8 months ago
Composite kernel learning
The Support Vector Machine (SVM) is an acknowledged powerful tool for building classifiers, but it lacks flexibility, in the sense that the kernel is chosen prior to learning. Mul...
Marie Szafranski, Yves Grandvalet, Alain Rakotomam...
WWW
2008
ACM
16 years 8 months ago
Semantic similarity based on compact concept ontology
This paper presents a new method of calculating the sematic similarity between articles based on WordNet. To further improve the performance of the proposed method, we build a new...
Ce Zhang, Yu-Jing Wang, Bin Cui, Gao Cong