840 search results - page 53 / 168 » The Complexity of the Extended GCD Problem |
TKDE
2008
13 years 7 months ago
2008
Schema matching is one of the key challenges in information integration. It is a labor-intensive and time-consuming process. To alleviate the problem, many automated solutions have...
ILC
2007
Springer
14 years 2 months ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...
DSN
2002
IEEE
14 years 24 days ago
2002
IEEE
This paper deals with the performance analysis of a system modeled by a queue. If we are interested in occupation problems and if we look at the transient phase, then it makes sen...
AIML
2008
13 years 9 months ago
2008
This paper presents a survey of topological spatial logics, taking as its point of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the ef...
IC
2004
13 years 9 months ago
2004
The electronic sharing of general scientific data can be a complex but incredibly beneficial process. We identify elements that must exist in a system designed for such a purpose ...