2693 search results - page 157 / 539 » French Order Without Order |
114
click to vote
VLDB
1997
ACM
15 years 8 months ago
1997
ACM
In this paper, we present and evaluate alternative techniques to effect the use of location-independent identiļ¬ers in distributed database systems. Location-independent identiļ¬...
116
Voted
ICLP
1994
Springer
15 years 8 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
129
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
159
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
We investigate the computational complexity of axiom pinpointing, which is the task of ļ¬nding minimal subsets of a Description Logic knowledge base that have a given consequence...
127
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Cooperative relaying methods can improve wireless links, but introduce overhead due to relay selection and resource reservation compared to non-cooperative transmission. In order t...