17054 search results - page 157 / 3411 » Logics of Dynamical Systems |
177
Voted
RR
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
180
click to vote
IJSYSC
2006
15 years 7 months ago
2006
: A backlash compensator is designed for nonlinear systems using the fuzzy logic. The classification property of fuzzy logic systems makes them a natural candidate for the rejectio...
188
click to vote
APIN
1999
15 years 6 months ago
1999
The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks...
199
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
183
click to vote
3DIC
2009
IEEE
16 years 1 months ago
2009
IEEE
—A high-sensitivity capacitive-coupling interface is presented for wireless wafer testing systems. The transmitter is a buffer that drives the transmitter pad, and the receiver c...