4767 search results - page 367 / 954 » Structures for Abstract Rewriting |
166
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
ABSTRACT. Schema matching is a crucial task to gather information of the same domain. However, this process is still largely performed manually or semi-automatically, discouraging ...
148
Voted
MSCS
2006
15 years 6 months ago
2006
Abstract. Lipschitz continuity is used as a tool for analyzing the relationship between incomputability and randomness. Having presented a simpler proof of one of the major results...
160
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
abstract, we propose a study on joint rate-and-power allocation problem for multi-channel spectrum sharing networks (SSNs). We formulate this cross-layer optimization problem as a...
155
click to vote
JLP
2007
15 years 6 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
133
click to vote
ALGORITHMICA
2004
15 years 6 months ago
2004
Abstract. We present an O(n log n)-time algorithm to solve the threedimensional layers-of-maxima problem, an improvement over the prior O(n log n log log n)-time solution. A previo...