2670 search results - page 346 / 534 » Modeling systems with internal state using evolino |
148
click to vote
CALCO
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
174
click to vote
LWA
2008
15 years 7 months ago
2008
Several applications support the adaptation of course material. Even though most of these systems allow to specify interaction preferences or even employ user modeling techniques,...
151
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
141
click to vote
MJ
2008
15 years 6 months ago
2008
In this work we show a theoretical study of the transport properties of armchair graphene nanoribbon at which linear poly-aromatic hydrocarbon molecules (LPHC) are side-attached o...
168
click to vote
MODELLIERUNG
2004
15 years 7 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...