97 search results - page 14 / 20 » The Higher-Order Recursive Path Ordering |
SIAMJO
2008
13 years 9 months ago
2008
A first order affine scaling method and two mth order affine scaling methods for solving monotone linear complementarity problems (LCP) are presented. All three methods produce ite...
TLCA
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we introduce a cut-elimination procedure for classical logic, which is both strongly normalising and consisting of local proof transformations. Traditional cut-elimin...
EOR
2006
13 years 9 months ago
2006
: This paper addresses the problem of computing minimum risk paths by taking as objective the expected accident cost. The computation is based on a dynamic programming formulation ...
AFP
2008
Springer
14 years 4 months ago
2008
Springer
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
UIST
1993
ACM
14 years 1 months ago
1993
ACM
A skeletal stroke is a kind of general brush stroke for changing the shape of pictures as if by bending, shearing, twisting, while conservating the aspect ratio of selected featur...