Sciweavers

2693 search results - page 9 / 539
» French Order Without Order
Sort
View
CSL
1994
Springer
13 years 11 months ago
Resolution Games and Non-Liftable Resolution Orderings
We prove the completeness of the combination of ordered resolution and factoring for a large class of non-liftable orderings, without the need for any additional rules like satura...
Hans de Nivelle
ACISP
2009
Springer
14 years 4 days ago
Random Order m-ary Exponentiation
This paper describes a m-ary exponentiation algorithm where the radix-m digits of an exponent can be treated in a somewhat random order without using any more group operations than...
Michael Tunstall
ACL
2001
13 years 9 months ago
Word Order in German: A Formal Dependency Grammar Using a Topological Hierarchy
This paper proposes a description of German word order including phenomena considered as complex, such as scrambling, (partial) VP fronting and verbal pied piping. Our description...
Kim Gerdes, Sylvain Kahane
ICDE
2007
IEEE
141views Database» more  ICDE 2007»
14 years 8 months ago
Monitoring Regular Expressions on Out-of-Order Streams
We present an efficient algorithm for regular expression matching on streams with out of order data, while maintaining a small state and without complete stream reconstruction. We...
Theodore Johnson, S. Muthukrishnan, Irina Rozenbau...
AAECC
1997
Springer
113views Algorithms» more  AAECC 1997»
13 years 11 months ago
Order Functions and Evaluation Codes
Based on the notion of an order function we construct and determine the parameters of a class of error-correcting evaluation codes. This class includes the one-point algebraic geo...
Tom Høholdt, Jacobus H. van Lint, Ruud Pell...