2586 search results - page 290 / 518 » Automatic Abstraction for Congruences |
187
click to vote
DEXA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
220
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a new generative model, and a new image similarity kernel based on a linked hierarchy of probabilistic segmentations. The model is used to efficiently segment ...
181
click to vote
ICANN
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Competitive learning approaches with penalization or cooperation mechanism have been applied to unsupervised data clustering due to their attractive ability of automatic ...
284
click to vote
ECCB
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--Analysing Online Social Networks (OSN), voluntarily maintained and automatically exploitable databases of electronic personal information, promises a wealth of insight in...