6045 search results - page 283 / 1209 » Computable Linearizations of Well-partial-orderings |
192
click to vote
CSL
2005
Springer
16 years 25 days ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
188
click to vote
GECCO
2005
Springer
16 years 24 days ago
2005
Springer
Existing Recurrent Neural Networks (RNNs) are limited in their ability to model dynamical systems with nonlinearities and hidden internal states. Here we use our general framework...
168
click to vote
NOLISP
2005
Springer
16 years 23 days ago
2005
Springer
In current speech technology, linear prediction dominates. The linear vocal tract model is well justified biomechanically, and linear prediction is a simple and well understood si...
165
click to vote
GECCO
2004
Springer
16 years 20 days ago
2004
Springer
We illustrate with two simple examples how Interactive Evolutionary Computation (IEC) can be applied to Exploratory Data Analysis (EDA). IEC is particularly valuable in an EDA cont...
193
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
Global placement of hypergraphs is critical in the top-down placement of large timing-driven designs 10, 16 . Placement quality is evaluated in terms of the half-perimeter wirelen...