922 search results - page 128 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
147
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we study the simultaneous transistor and interconnect sizing (STIS) problem. We de ne a class of optimization problems as CH-posynomial programs and reveal a genera...
151
click to vote
CTCS
1997
Springer
15 years 10 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...
123
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
161
click to vote
BIOCOMP
2008
15 years 7 months ago
2008
In this paper we introduce a novel approach for the analysis of microarray titration experiments. The test introduced here can be used more generally for drug-dosage effect or time...
144
click to vote
FLAIRS
2004
15 years 7 months ago
2004
We present a single-layer recurrent neural network that implements novelty detection for spatiotemporal patterns. The architecture is based on the structure of region CA3 in the h...