22114 search results - page 4197 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
181
click to vote
MMB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
207
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
With the development of highly efficient graph data collection technology in many application fields, classification of graph data emerges as an important topic in the data mining...
171
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
We have developed a computational framework to characterize social network dynamics in the blogosphere at individual, group and community levels. Such characterization could be us...
164
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The paper provides an overview of the agent-based solutions developed by the Rockwell Automation company for the purposes of industrial control. Using agent-based manufacturing co...
187
click to vote
ICA
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we propose a Bayesian estimation approach to extend independent subspace analysis (ISA) for an overcomplete representation without imposing the orthogonal constraint...