Results 1  10
of
73,064
The Natural Partial Orders on wpp Semigroups
, 2009
"... In this paper, we investigate a kind of partial orders on wpp semigroups, which are the very generalizations of ones studied by Lawson [Proc. Edinburgh Math. Soc., 30(1987), 169186]. After giving some characterizations and properties, we determine when the partial orders are compatible with respec ..."
Abstract
 Add to MetaCart
In this paper, we investigate a kind of partial orders on wpp semigroups, which are the very generalizations of ones studied by Lawson [Proc. Edinburgh Math. Soc., 30(1987), 169186]. After giving some characterizations and properties, we determine when the partial orders are compatible
Natural partial orders on the semigroup of binary relations
 THAI J. MATH
, 2006
"... Let B(X) denote the semigroup of binary relations on a set X under composition. We study two natural partial orders onB(X) and characterize when two elements ofB(X) are related under these orders. The maximality, minimality, left compatibility and right compatibility of elements are considered with ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Let B(X) denote the semigroup of binary relations on a set X under composition. We study two natural partial orders onB(X) and characterize when two elements ofB(X) are related under these orders. The maximality, minimality, left compatibility and right compatibility of elements are considered
USERâ€™S GUIDE TO VISCOSITY SOLUTIONS OF SECOND ORDER PARTIAL DIFFERENTIAL EQUATIONS
, 1992
"... The notion of viscosity solutions of scalar fully nonlinear partial differential equations of second order provides a framework in which startling comparison and uniqueness theorems, existence theorems, and theorems about continuous dependence may now be proved by very efficient and striking argume ..."
Abstract

Cited by 1399 (16 self)
 Add to MetaCart
The notion of viscosity solutions of scalar fully nonlinear partial differential equations of second order provides a framework in which startling comparison and uniqueness theorems, existence theorems, and theorems about continuous dependence may now be proved by very efficient and striking
UCPOP: A Sound, Complete, Partial Order Planner for ADL
, 1992
"... We describe the ucpop partial order planning algorithm which handles a subset of Pednault's ADL action representation. In particular, ucpop operates with actions that have conditional effects, universally quantified preconditions and effects, and with universally quantified goals. We prove ucpo ..."
Abstract

Cited by 493 (25 self)
 Add to MetaCart
We describe the ucpop partial order planning algorithm which handles a subset of Pednault's ADL action representation. In particular, ucpop operates with actions that have conditional effects, universally quantified preconditions and effects, and with universally quantified goals. We prove
Labor Contracts as Partial Gift Exchange
 Quarterly Journal of Economics
, 1982
"... This paper explains involuntary unemployment in terms of the response of firms to workers ' group behavior. Workers ' effort depends upon the norms determining a fair day's work. In order to affect those norms, firms may pay more than the marketclearing wage. Industries that pay cons ..."
Abstract

Cited by 780 (1 self)
 Add to MetaCart
This paper explains involuntary unemployment in terms of the response of firms to workers ' group behavior. Workers ' effort depends upon the norms determining a fair day's work. In order to affect those norms, firms may pay more than the marketclearing wage. Industries that pay
Time, Clocks, and the Ordering of Events in a Distributed System
, 1978
"... The concept of one event happening before another in a distributed system is examined, and is shown to define a partial ordering of the events. A distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events. The use of the total ordering i ..."
Abstract

Cited by 2869 (14 self)
 Add to MetaCart
The concept of one event happening before another in a distributed system is examined, and is shown to define a partial ordering of the events. A distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events. The use of the total ordering
The fundamental properties of natural numbers
 Journal of Formalized Mathematics
, 1989
"... Summary. Some fundamental properties of addition, multiplication, order relations, exact division, the remainder, divisibility, the least common multiple, the greatest common divisor are presented. A proof of Euclid algorithm is also given. MML Identifier:NAT_1. WWW:http://mizar.org/JFM/Vol1/nat_1.h ..."
Abstract

Cited by 688 (73 self)
 Add to MetaCart
Summary. Some fundamental properties of addition, multiplication, order relations, exact division, the remainder, divisibility, the least common multiple, the greatest common divisor are presented. A proof of Euclid algorithm is also given. MML Identifier:NAT_1. WWW:http://mizar.org/JFM/Vol1/nat_1
Fast Planning Through Planning Graph Analysis
 ARTIFICIAL INTELLIGENCE
, 1995
"... We introduce a new approach to planning in STRIPSlike domains based on constructing and analyzing a compact structure we call a Planning Graph. We describe a new planner, Graphplan, that uses this paradigm. Graphplan always returns a shortest possible partialorder plan, or states that no valid pla ..."
Abstract

Cited by 1171 (3 self)
 Add to MetaCart
plan exists. We provide empirical evidence in favor of this approach, showing that Graphplan outperforms the totalorder planner, Prodigy, and the partialorder planner, UCPOP, on a variety of interesting natural and artificial planning problems. We also give empirical evidence that the plans produced
Results 1  10
of
73,064