Sciweavers

1912 search results - page 52 / 383
» On the evaluation of argumentation formalisms
Sort
View
ODR
2008
15 years 1 months ago
A Multi-Agent Architecture for Online Dispute Resolution Services
: Argumentation theory is often used in multi agent-systems to facilitate autonomous agent reasoning and multi-agent interaction. The technology can also be used to develop online ...
Brooke Abrahams, John Zeleznikow
ESORICS
2009
Springer
16 years 13 days ago
Formal Indistinguishability Extended to the Random Oracle Model
Abstract. Several generic constructions for transforming one-way functions to asymmetric encryption schemes have been proposed. One-way functions only guarantee the weak secrecy of...
Cristian Ene, Yassine Lakhnech, Van Chan Ngo
AISB
1994
Springer
15 years 4 months ago
Formal Memetic Algorithms
Abstract. A formal, representation-independent form of a memetic algorithm-a genetic algorithm incorporating local search--is introduced. A generalisedform of N-point crossover is ...
Nicholas J. Radcliffe, Patrick D. Surry
AO
2005
147views more  AO 2005»
14 years 11 months ago
Domain modelling and NLP: Formal ontologies? Lexica? Or a bit of both?
There are a number of genuinely open questions concerning the use of domain models in nlp. It would be great if contributors to Applied Ontology could help addressing them rather ...
Massimo Poesio
QEST
2005
IEEE
15 years 5 months ago
Formal Executable Descriptions of Biological Systems
Michele Curti, Davide Prandi, Linda Brodo