1598 search results - page 102 / 320 » A Unified Computation Model for Functional and Logic Program... |
140
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
In this paper we consider a unified framework for parameter estimation problems which arise in a system identification context. In this framework, the parameters to be estimated a...
167
click to vote
RECOMB
2001
Springer
16 years 5 months ago
2001
Springer
The recent growth in genomic data and measurements of genome-wide expression patterns allows us to apply computational tools to examine gene regulation by transcription factors. I...
125
click to vote
CSR
2008
Springer
15 years 6 months ago
2008
Springer
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
151
click to vote
ETFA
2008
IEEE
15 years 11 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
145
click to vote
ICCAD
1995
IEEE
15 years 8 months ago
1995
IEEE
ng certain electrical noise and power constraints.Abstract: We present a new delay model for use in logic synthesis. A traditional model treats the area of a library cell as consta...