995 search results - page 56 / 199 » Wire-speed total order |
RTA
2005
Springer
14 years 2 months ago
2005
Springer
A convenient method for defining a quasi-ordering, such as those used for proving termination of rewriting, is to choose the minimum of a set of quasi-orderings satisfying some d...
SSIAI
2000
IEEE
14 years 1 months ago
2000
IEEE
For each patient receiving definitive treatment for cervix cancer, several CT/MR imaging studies need to be registered in order to specify the total physical or biological dose t...
ISLPED
1997
ACM
14 years 9 days ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...
LREC
2008
13 years 10 months ago
2008
We report the results of a study that investigates the agreement of anaphoric annotations. The study focuses on the influence of the factors text length and text type on a corpus ...
AAAI
2004
13 years 10 months ago
2004
A logic of conditional preferences is defined, with a language which allows the compact representation of certain kinds of conditional preference statements, a semantics and a pro...