3729 search results - page 443 / 746 » On Formal Modeling of Agent Computations |
183
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
204
click to vote
ICVGIP
2004
15 years 8 months ago
2004
Robust model fitting is important for computer vision tasks due to the occurrence of multiple model instances, and, unknown nature of noise. The linear errors-in-variables (EIV) m...
153
click to vote
ACMSE
2010
ACM
15 years 4 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
177
Voted
ICTAC
2005
Springer
16 years 7 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
206
click to vote
CMSB
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...