2452 search results - page 159 / 491 » On Reduction of Lagrange Systems |
177
click to vote
ASPDAC
2009
ACM
16 years 18 days ago
2009
ACM
Three-dimensional stacking of silicon layers is emerging as a promising solution to handle the design complexity and heterogeneity of Systems on Chips (SoCs). Networks on Chips (N...
153
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
163
click to vote
NIPS
1997
15 years 7 months ago
1997
In thispaper, we present a novelhybridarchitecture forcontinuousspeech recognition systems. It consists of a continuous HMM system extended by an arbitrary neural network that is ...
217
click to vote
PPOPP
2003
ACM
15 years 11 months ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...
188
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...