1690 search results - page 255 / 338 » Algorithmic Properties of Millstream Systems |
ASM
2004
ASM
15 years 6 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
123
Voted
INFORMS
1998
15 years 16 days ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
226
click to vote
GIS
2005
ACM
16 years 1 months ago
2005
ACM
Geographic Information Systems (GIS) are increasingly managing very large sets of data and hence a centralized data repository may not always provide the most scalable solution. H...
108
Voted
COCO
2010
Springer
15 years 4 months ago
2010
Springer
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof syst...
93
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Modeling dynamical systems composed of aggregations of primitive proteins is critical to the field of astrobiological science, which studies early evolutionary structures dealing ...