321 search results - page 56 / 65 » Comparison of Additive Trees Using Circular Orders |
LPNMR
1990
Springer
13 years 11 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
LREC
2010
13 years 8 months ago
2010
Language resources, including corpus and tools, are normally required to be combined in order to achieve a user's specific task. However, resources tend to be developed indep...
JACM
2000
13 years 7 months ago
2000
A simple variant of a priority queue, called a soft heap, is introduced. The data structure supports the usual operations: insert, delete, meld, and findmin. Its novelty is to beat...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
SIAMNUM
2011
13 years 2 months ago
2011
This paper gives a numerical validation of the continuous mesh framework introduced in Part I [23]. We numerically show that the interpolation error can be evaluated analytically o...