10615 search results - page 1415 / 2123 » Dynamic topic models |
207
click to vote
ICNC
2005
Springer
16 years 29 days ago
2005
Springer
This paper presents a novel learning feed-forward controller design approach for accurate robotics trajectory tracking. Based on the joint nonlinear dynamics characteristics, a mod...
181
click to vote
ICNC
2005
Springer
16 years 29 days ago
2005
Springer
Using an agent-based multi-asset artificial stock market, we simulate the survival dynamics of investors with different risk preferences. It is found that the survivability of in...
292
click to vote
FIDJI
2004
Springer
16 years 26 days ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
206
click to vote
FSTTCS
2004
Springer
16 years 26 days ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
158
click to vote
SAS
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...