Sciweavers

539 search results - page 91 / 108
» Symmetric Argumentation Frameworks
Sort
View
ENTCS
2010
127views more  ENTCS 2010»
13 years 8 months ago
Combining Model Reductions
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
Ferdinanda Camporesi, Jérôme Feret, H...
FAC
2008
80views more  FAC 2008»
13 years 8 months ago
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
Dominik Haneberg, Gerhard Schellhorn, Holger Grand...
FSS
2008
105views more  FSS 2008»
13 years 8 months ago
The self-dual core and the anti-self-dual remainder of an aggregation operator
In most decisional models based on pairwise comparison between alternatives, the reciprocity of the individual preference representations expresses a natural assumption of rationa...
José Luis García-Lapresta, Ricardo A...
MP
2007
97views more  MP 2007»
13 years 8 months ago
On the domino-parity inequalities for the STSP
Abstract One method which has been used very successfully for finding optimal and provably good solutions for large instances of the Symmetric Travelling Salesman Problem (STSP) i...
Sylvia C. Boyd, Sally Cockburn, Danielle Vella
HEURISTICS
2008
136views more  HEURISTICS 2008»
13 years 7 months ago
Enhancing set constraint solvers with lexicographic bounds
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
Andrew Sadler, Carmen Gervet