2286 search results - page 154 / 458 » Algorithms for Categorical Equivalence |
109
click to vote
WISE
2007
Springer
15 years 4 months ago
2007
Springer
We study and present our findings on two closely related problems on xpath rewriting using views when both the view and the query are tree patterns involving /,// and []. First, g...
ASIACRYPT
2003
Springer
15 years 3 months ago
2003
Springer
In this paper1 we propose a new symmetric block cipher with the following paradoxical traceability properties: it is computationally easy to derive many equivalent secret keys prov...
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
Abstract-- We give efficient sequential and distributed approximation algorithms for strong edge coloring graphs modeling wireless networks. Strong edge coloring is equivalent to c...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we present SEMA tool for the automatic mapping of ontologies. The main purpose of SEMA is to locate one to one equivalence correspondences (mappings) between elements...
ASIAN
2004
Springer
15 years 3 months ago
2004
Springer
We propose a simple theory of expressions which is intended to be used as a foundational syntactic structure for the Natural Framework (NF). We define expression formally and give...