1277 search results - page 100 / 256 » Views of Fibonacci dynamics |
154
Voted
AMAST
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
157
click to vote
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
137
click to vote
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
To bridge the gap between the high resolution digital images and limited display capability of mobile devices, this paper proposes a method to automatically transform static image...
107
Voted
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
121
Voted
CIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...