2024 search results - page 188 / 405 » A Formal Model of Multi-agent Computations |
134
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
129
click to vote
COORDINATION
2009
Springer
16 years 5 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...
157
click to vote
ICVGIP
2004
15 years 6 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...
118
Voted
ACMSE
2010
ACM
15 years 2 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...
132
click to vote
ICTAC
2005
Springer
15 years 10 months 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 ...