Sciweavers

742 search results - page 26 / 149
» Argumentative alternating offers
Sort
View
DEON
2006
Springer
15 years 1 months ago
Addressing Moral Problems Through Practical Reasoning
Abstract. In this paper, following the work of Hare, we consider moral reasoning not as the application of moral norms and principles, but as reasoning about what ought to be done ...
Katie Atkinson, Trevor J. M. Bench-Capon
QUESTA
2006
115views more  QUESTA 2006»
14 years 11 months ago
Analyzing priority queues with 3 classes using tree-like processes
In this paper we demonstrate how tree-like processes can be used to analyze a general class of priority queues with three service classes, creating a new methodology to study prio...
Benny Van Houdt, Chris Blondia
COMBINATORICS
2002
92views more  COMBINATORICS 2002»
14 years 11 months ago
On the Excluded Minors for Matroids of Branch-Width Three
Knowing the excluded minors for a minor-closed matroid property provides a useful alternative characterization of that property. It has been shown in [R. Hall, J. Oxley, C. Semple...
Petr Hlinený
FMSD
1998
77views more  FMSD 1998»
14 years 11 months ago
An Analysis of Bitstate Hashing
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by reachability analyses for applications that defeat anal...
Gerard J. Holzmann
AUSAI
2003
Springer
15 years 5 months ago
An eNegotiation Framework
Negotiation between two trading agents is a two-stage process. First, the agents exchange offers whilst acquiring and exchanging information. Second, they attempt to reach a mutual...
John K. Debenham