87 search results - page 5 / 18 » 04061 Abstracts Collection - Real Computation and Complexity |
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
Large and complex computer based systems are the result of an evolution process which may take many years. Heterogeneity is an important characteristic of such systems: During the...
FUIN
2007
14 years 9 months ago
2007
Abstract. Our previous research presents a methodology of cooperative problem solving for beliefdesire-intention (BDI) systems, based on a complete formal theory called TEAMLOG. Th...
AI
2005
Springer
14 years 9 months ago
2005
Springer
The use of software agents for automatic contract negotiation in e-commerce and e-trading ents has been the subject of considerable recent interest. A widely studied abstract mode...
GRC
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract. A new methodology that structures the semantics of a collection of documents into the geometry of a simplicial complex is developed. A simplicial complex is topologically...
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We extend the hyperdynamics method developed for lowdimensional energy-dominated systems, to simulate slow dynamics in more general atomistic systems. We show that a few ...