1672 search results - page 185 / 335 » Interactive Mathematical Documents |
128
click to vote
IJCAI
1997
15 years 5 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
117
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In the multi-agent systems community, dependence theory and game theory are often presented as two alternative perspectives on the analysis of social interaction. Up till now no r...
138
Voted
BIB
2007
15 years 4 months ago
2007
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
115
click to vote
APIN
2006
15 years 4 months ago
2006
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...
143
Voted
CGF
2007
15 years 4 months ago
2007
This paper addresses the problem of virtual pedestrian autonomous navigation for crowd simulation. It describes a method for solving interactions between pedestrians and avoiding ...