4209 search results - page 458 / 842 » Abstract Dialectical Frameworks |
136
click to vote
SOCO
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...
170
click to vote
TLCA
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
145
click to vote
CDC
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract— In the framework of the ISS Lyapunov formulation a small gain theorem has recently been proved which allows the explicit construction of Lyapunov functions for intercon...
166
click to vote
CIBCB
2008
IEEE
16 years 19 days ago
2008
IEEE
sequence content at an abstract level and offers novel ways to examine the information contained in them. Our approach is an information theoretic search process which uses patter...
182
click to vote
CISS
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract – In this paper, a variational message passing framework is proposed for Markov random fields. Analogous to the traditional belief propagation algorithm, variational mes...