2693 search results - page 269 / 539 » On Computing Complex Navigation Functions |
205
click to vote
COCO
1993
Springer
15 years 10 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
231
click to vote
ACID
2006
15 years 8 months ago
2006
In a congestion game, several players simultaneously aim at allocating sets of resources, e.g., each player aims at allocating a shortest path between a source/destination pair in ...
142
click to vote
IVEVA
2004
15 years 8 months ago
2004
This paper investigates how emotions, in this case fear, affect behaviour. We consider deer and sheep as exemplary flocking mammals. The paper also describes and applies a mechanis...
185
click to vote
IJCAI
2001
15 years 8 months ago
2001
Computer modeling and simulation are indispensable for understanding the functioning of an organism on a molecular level. We present an implemented method for the qualitative simu...
200
click to vote
CASC
2009
Springer
15 years 7 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...