3044 search results - page 283 / 609 » Linear logical approximations |
178
click to vote
APAL
2008
15 years 6 months ago
2008
System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix ...
164
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
183
click to vote
AEI
1999
15 years 6 months ago
1999
This article describes a new adaptive fuzzy logic control scheme. The proposed scheme is based on the structure of the self-tuning regulator and employs neural network and genetic...
139
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Separate optimizations of logic and layout have been thoroughly studied in the past and are well documented for common benchmarks. However, to be competitive, modern circuit optim...
156
click to vote
IJCAI
2007
15 years 8 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...