4209 search results - page 224 / 842 » Abstract Dialectical Frameworks |
171
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Topological crossovers are a class of representation-independent operators that are well-defined once a notion of distance over the solution space is defined. In this pap...
172
click to vote
LPAR
2005
Springer
16 years 3 hour ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
143
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
The paper presents a framework for introducing design patterns that facilitate or improve the techniques used during ontology lifecycle. Some distinctions are drawn between kinds o...
159
click to vote
TSD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A formal prosody description framework is introduced together with its relation to language semantics and NLP. The framework incorporates deep prosodic structures based o...
180
click to vote
CD
2004
Springer
15 years 12 months ago
2004
Springer
Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...