4894 search results - page 798 / 979 » Dynamic Abstraction Planning |
174
click to vote
ECAL
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. We have developed a software system that simulates chemotaxis-based cell aggregation in 2D. The model implemented within the system consists of such cell behaviors as che...
152
click to vote
ESA
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. In this paper we consider Nash Equilibria for the selfish routing model proposed in [12], where a set of n users with tasks of different size try to access m parallel l...
150
click to vote
ESWS
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
156
click to vote
FCT
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
147
click to vote
GPC
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Geoscience analysis is currently limited by cumbersome access and manipulation of large datasets from remote sources. Due to their data-heavy and compute-light nature, th...