1588 search results - page 289 / 318 » On the Logic of Constitutive Rules |
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Huet and L´evy (1979) showed that needed reduction is a normalizing strategy for orthogonal (i.e., left-linear and non-overlapping) term rewriting systems. In order to obtain a de...
114
click to vote
CAISE
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...
CHES
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Several types of logic gates suitable for leakage-proof computations have been put forward [1,2,3,4]. This paper describes a method, called “backend duplication” to a...
112
click to vote
FPL
2005
Springer
15 years 6 months ago
2005
Springer
String pattern matching is a computationally expensive task, and when implemented in hardware, it can consume a large amount of resources for processing and storage. This paper pr...
101
click to vote
FSKD
2005
Springer
15 years 6 months ago
2005
Springer
The value of the itemset share is one way of evaluating the magnitude of an itemset. From business perspective, itemset share values reflect more the significance of itemsets for m...