12115 search results - page 332 / 2423 » Bisimulation of Dynamical Systems |
157
click to vote
CASSIS
2004
Springer
16 years 3 days ago
2004
Springer
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
205
click to vote
PADL
2004
Springer
16 years 2 days ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
179
click to vote
ICINCO
2004
15 years 8 months ago
2004
This paper presents an Iterative Linear Quadratic Regulator (ILQR) method for locally-optimal feedback control of nonlinear dynamical systems. The method is applied to a musculo-s...
184
click to vote
AMC
2006
15 years 6 months ago
2006
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
164
Voted
ICONIP
2010
15 years 4 months ago
2010
Abstract. We report relationships between the effects of noise and applied constant currents on the behavior of a system of excitable elements. The analytical approach based on the...