3994 search results - page 301 / 799 » A Linear Logical Framework |
165
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...
184
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...
207
Voted
ENTCS
2002
15 years 6 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
155
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Increasing effects of fabrication variability have inspired a growing interest in statistical techniques for design optimization. In this work, we propose a Monte-Carlo driven sto...
180
click to vote
SI3D
2003
ACM
15 years 12 months ago
2003
ACM
We present a general joint component framework model that is capable of exhibiting complex behavior of joints in articulated figures. The joints are capable of handling non-ortho...