4555 search results - page 167 / 911 » Deductive Algorithmic Knowledge |
104
Voted
ISCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— This paper presents an implementation-oriented breadthfirst tree search MIMO detector design solution. Techniques at algorithm and VLSI architecture levels are develop...
112
Voted
ISCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
— Symmetric-key block ciphers are often used to provide data confidentiality with low complexity, especially in the case of dedicated hardware implementations. IDEA NXT is a nov...
114
Voted
QEST
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
146
Voted
TABLEAUX
2005
Springer
15 years 8 months ago
2005
Springer
In description logics (DLs), concrete domains are used for defining concepts based on concrete qualities of their instances such as the weight, age, duration, and spatial extensio...
117
Voted
KR
2004
Springer
15 years 7 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...