2670 search results - page 437 / 534 » Modeling systems with internal state using evolino |
145
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
135
click to vote
IJON
2007
15 years 6 months ago
2007
In many studies of self-organized criticality (SOC), branching processes were used to model the dynamics of the activity of the system during avalanches. This mathematical simpliï...
155
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
171
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
Decentralized overlapping feedback laws are designed for a formation of unmanned aerial vehicles. The dynamic model of the formation with an information structure constraint in wh...
166
click to vote
DMTCS
2010
15 years 3 months ago
2010
We present a model of automaton for picture language recognition, called Wang automaton, which is based on labeled Wang tiles. Wang automata combine features of both online tessell...