424 search results - page 54 / 85 » Realizability models and implicit complexity |
102
click to vote
BIRTHDAY
2012
Springer
13 years 7 months ago
2012
Springer
The 40 thieves realize that the fortune in their cave is vanishing. A rumor says that Ali Baba has been granted access (in the form of a certificate) to the cave but they need evi...
WSC
1997
15 years 1 months ago
1997
Creating comprehensive simulation models can be expensive and time consuming. This paper discusses our efforts to develop a general methodology that will allow users to quickly an...
113
click to vote
CATA
2001
15 years 1 months ago
2001
: In this paper we analyze some existing tools and approaches to image data modeling and we propose an Object-Oriented Image Data (OOID) model. It can be applied on a wide variety ...
109
click to vote
MABS
2005
Springer
15 years 5 months ago
2005
Springer
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Inde...
100
click to vote
ROBOCUP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...