119 search results - page 19 / 24 » A First-Order Isomorphism Theorem |
ICARCV
2006
IEEE
14 years 1 months ago
2006
IEEE
- In this paper, a new design method of adaptive PID controller is proposed. The method utilizes the so- called almost strict positive realness (ASPR) of the plant so that the stab...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
APLAS
2001
ACM
13 years 11 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
EOR
2000
13 years 7 months ago
2000
We introduce two pairs of nondifferentiable multiobjective second order symmetric dual problems with cone constraints over arbitrary closed convex cones, which is different from th...
AI
2004
Springer
13 years 7 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...