17054 search results - page 306 / 3411 » Logics of Dynamical Systems |
213
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...
183
click to vote
ISQED
2006
IEEE
16 years 1 months ago
2006
IEEE
- A low overhead circuit technique is proposed in this paper for simultaneously reducing subthreshold and gate oxide leakage currents in domino logic circuits. PMOS sleep transisto...
225
click to vote
FSTTCS
1999
Springer
15 years 11 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
199
click to vote
EDOC
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
215
click to vote
JCP
2008
15 years 7 months ago
2008
Two controllers which extend the PD+I fuzzy logic controller to deal with the plant having time varying nonlinear dynamics are proposed. The adaptation ability of the first self tu...