Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
A crowd is not only a group of many individuals. Crowd modelling involves problems that arise only when we focus on crowds. For instance, avoiding collision problems related to a ...
We consider Distributed Constraint Satisfaction Problems (DisCSP) when control of variables and constraints is distributed among a set of agents. This paper presents a distributed ...
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
Real-world objects exhibit rich physical interaction behaviours on contact. Such behaviours depend on how heavy and hard it is when held, how its surface feels when touched, how i...
Hiromi T. Tanaka, Kiyotaka Kushihama, Naoki Ueda, ...