8499 search results - page 218 / 1700 » cans 2009 |
173
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
180
click to vote
QUANTUMCOMM
2009
Springer
16 years 1 months ago
2009
Springer
Quantum key distribution (QKD) promises secure key agreement by using quantum mechanical systems. We argue that QKD will be an important part of future cryptographic infrastructur...
186
click to vote
RR
2009
Springer
16 years 1 months ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
151
click to vote
RSKT
2009
Springer
16 years 1 months ago
2009
Springer
—Cyclic Delay Diversity (CDD) is a simple and efficient space-time diversity technique. It can be used in OFDM and DFT-Spread-OFDM. The traditional CDD has low complexity and sys...
141
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The current implementations of ontology classification procedures use the main memory of the computer for loading and processing ontologies, which soon can become one of...