4209 search results - page 529 / 842 » Abstract Dialectical Frameworks |
138
click to vote
IFIP11
2004
15 years 6 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
188
click to vote
JFPLC
2004
15 years 6 months ago
2004
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
124
click to vote
KDID
2004
15 years 6 months ago
2004
Abstract. Recently, different works proposed a new way to mine patterns in databases with pathological size. For example, experiments in genome biology usually provide databases wi...
192
click to vote
NLUCS
2004
15 years 6 months ago
2004
Abstract. Cognitive Dialogue Management is a novel approach to Dialogue Management which proposes a novel architecture for building up advanced interactive interfaces in natural la...
168
click to vote
SDL
2001
15 years 6 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...