5647 search results - page 171 / 1130 » A word from the editor |
149
click to vote
CAISE
2007
Springer
16 years 20 days ago
2007
Springer
In this paper, we introduce a semi-automatable method aimed to find the business multidimensional concepts from an ontology representing the organization domain. With these premis...
166
click to vote
IDEAL
2007
Springer
16 years 19 days ago
2007
Springer
Frequent disjunctive pattern is known to be a sophisticated method of text mining in a single document that satisfies anti-monotonicity, by which we can discuss efficient algorith...
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...
162
click to vote
FFA
2006
15 years 6 months ago
2006
We determine information sets for the generalized Reed-Muller codes and use these to apply partial permutation decoding to codes from finite geometries over prime fields. We also ...
167
click to vote
EJC
2007
15 years 6 months ago
2007
We examine the binary codes obtained from the row span over the field F2 of an adjacency matrix of the rectangular lattice graphs L2(m, n) for 3 ≤ m < n and show that permut...