12774 search results - page 2331 / 2555 » A Framework for Proof Systems |
173
Voted
JAR
2008
15 years 6 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
197
click to vote
IJON
2006
15 years 6 months ago
2006
The purpose of this research is to develop effective machine learning or data mining techniques based on flexible neural tree FNT. Based on the pre-defined instruction/operator se...
174
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we analyse the requirements of performing parallel transaction-oriented simulations within loosely coupled systems like Ad Hoc Grids. We focus especially on the spac...
185
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— The optimal decoder achieving the outage capacity under imperfect channel estimation is investigated. First, by searching into the family of nearest neighbor decoders, which ca...
211
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...