1043 search results - page 120 / 209 » Using Function Generalization to Design a Cosequential Proce... |
147
Voted
CASES
2010
ACM
15 years 2 months ago
2010
ACM
3-D circuit-level integration is a chip fabrication technique in which two or more dies are stacked and combined into a single circuit through the use of vertical electroconductiv...
141
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
143
click to vote
ENGL
2006
15 years 4 months ago
2006
A direct adaptive neural network control system with and without integral action term is designed for the general class of continuous biological fermentation processes. The control...
153
click to vote
CDC
2010
IEEE
14 years 12 months ago
2010
IEEE
This paper studies the infinite-horizon sensor scheduling problem for linear Gaussian processes with linear measurement functions. Several important properties of the optimal infin...
151
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...