17054 search results - page 340 / 3411 » Logics of Dynamical Systems |
178
click to vote
AUTOMATICA
2002
15 years 7 months ago
2002
In this paper we develop results based on geometric mechanics to study the controllability of a class of controlled under-actuated left invariant mechanical systems on Lie groups....
247
click to vote
AISADM
2005
Springer
16 years 1 months ago
2005
Springer
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...
196
Voted
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
As current silicon-based techniques fast approach their practical limits, the investigation of nanoscale electronics, devices and system architectures becomes a central research p...
243
click to vote
RTA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...
196
click to vote
IGPL
1998
15 years 7 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...