Sciweavers

2748 search results - page 181 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
EDBT
2012
ACM
228views Database» more  EDBT 2012»
13 years 7 months ago
Finding maximal k-edge-connected subgraphs from a large graph
In this paper, we study how to find maximal k-edge-connected subgraphs from a large graph. k-edge-connected subgraphs can be used to capture closely related vertices, and findin...
Rui Zhou, Chengfei Liu, Jeffrey Xu Yu, Weifa Liang...
APN
2000
Springer
15 years 9 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...
120
Voted
JASSS
1998
82views more  JASSS 1998»
15 years 4 months ago
Qualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
Giorgio Brajnik, Marji Lines
FSEN
2009
Springer
15 years 9 months ago
A Coordination Model for Interactive Components
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
Marco Antonio Barbosa, Luís Soares Barbosa,...
SEMWEB
2009
Springer
15 years 11 months ago
Semantically-Aided Business Process Modeling
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
Chiara Di Francescomarino, Chiara Ghidini, Marco R...