4209 search results - page 338 / 842 » Abstract Dialectical Frameworks |
143
click to vote
ATVA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
160
click to vote
COORDINATION
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
141
click to vote
DAGM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. An information theoretic framework for grouping observations is proposed. The entropy change incurred by new observations is analyzed using the Kalman filter update equa...
144
click to vote
ECML
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We study discriminative joint density models, that is, generative models for the joint density p(c, x) learned by maximizing a discriminative cost function, the condition...
175
click to vote
ECSQARU
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper, Ginsberg’s/Fitting’s theory of bilattices is invoked as a natural accommodation and powerful generalization to both intuitionistic fuzzy sets (IFSs) an...