Sciweavers

10633 search results - page 1693 / 2127
» Relating Distributed Objects
Sort
View
123
Voted
ATAL
2009
Springer
15 years 8 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
136
Voted
ICFCA
2009
Springer
15 years 8 months ago
Handling Large Formal Context Using BDD - Perspectives and Limitations
This paper presents Binary Decision Diagrams (BDDs) applied to Formal Concept Analysis (FCA). The aim is to increase the FCA capability to handle large formal contexts. The main id...
Andrei Rimsa, Luis E. Zárate, Mark A. J. So...
125
Voted
SEMWEB
2009
Springer
15 years 8 months ago
Supporting Multi-view User Ontology to Understand Company Value Chains
The objective of the Market Blended Insight (MBI) project is to develop web based techniques to improve the performance of UK Business to Business (B2B) marketing activities. The a...
Landong Zuo, Manuel Salvadores, S. M. Hazzaz Imtia...
133
Voted
EMO
2001
Springer
109views Optimization» more  EMO 2001»
15 years 8 months ago
Specification of Genetic Search Directions in Cellular Multi-objective Genetic Algorithms
When we try to implement a multi-objective genetic algorithm (MOGA) with variable weights for finding a set of Pareto optimal solutions, one difficulty lies in determining appropri...
Tadahiko Murata, Hisao Ishibuchi, Mitsuo Gen
120
Voted
EUROPAR
2001
Springer
15 years 8 months ago
Self-Organizing Hierarchical Cluster Timestamps
Distributed-system observation tools require an efficient data structure to store and query the partial-order of execution. Such data structures typically use vector timestamps to...
Paul A. S. Ward, David J. Taylor
« Prev « First page 1693 / 2127 Last » Next »