Sciweavers

10891 search results - page 302 / 2179
» Combining Model Reductions
Sort
View
ACL
2008
15 years 5 months ago
Unlexicalised Hidden Variable Models of Split Dependency Grammars
This paper investigates transforms of split dependency grammars into unlexicalised context-free grammars annotated with hidden symbols. Our best unlexicalised grammar achieves an ...
Gabriele Antonio Musillo, Paola Merlo
NN
2006
Springer
15 years 4 months ago
A model of surround suppression through cortical feedback
Surround suppression occurs when a visual stimulus outside a neuron's classical receptive field causes a reduction in firing rate. It has become clear that several mechanisms...
Thomas J. Sullivan, Virginia R. de Sa
TVLSI
2002
57views more  TVLSI 2002»
15 years 4 months ago
Simulation and modeling of the effect of substrate conductivity on coupling inductance and circuit crosstalk
The goal of this work was to simulate the effect of the finite conductivity of semiconductor substrates on the on-chip coupling inductance and then to investigate the effect of the...
Yehia Massoud, Jacob K. White
DATE
2007
IEEE
77views Hardware» more  DATE 2007»
15 years 10 months ago
Method for reducing jitter in multi-gigahertz ATE
Controlling jitter on a picosecond (or smaller) time scale has become one of the most difficult challenges for testing multi-gigahertz systems. In this paper we present a novel me...
David C. Keezer, Dany Minier, Patrice Ducharme
RTA
2004
Springer
15 years 9 months ago
A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
Frédéric Blanqui