4037 search results - page 405 / 808 » Routing without ordering |
113
Voted
ICLP
1994
Springer
15 years 7 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...
122
Voted
ASPDAC
2007
ACM
15 years 7 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 ...
155
Voted
KR
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the computational complexity of axiom pinpointing, which is the task of finding minimal subsets of a Description Logic knowledge base that have a given consequence...
123
Voted
GLOBECOM
2009
IEEE
15 years 7 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...
143
Voted
ICANN
2009
Springer
2009
Springer
Profiling of Mass Spectrometry Data for Ovarian Cancer Detection Using Negative Correlation Learning
15 years 7 months ago
This paper proposes a novel Mass Spectrometry data profiling method for ovarian cancer detection based on negative correlation learning (NCL). A modified Smoothed Nonlinear Energy ...