1116 search results - page 199 / 224 » Applying Predicate Abstraction to Abstract State Machines |
GPEM
2006
14 years 11 months ago
2006
Abstract. Too much information kills information. This common statement applies to huge databases, where state of the art search engines may retrieve hundreds of very similar docum...
83
Voted
JSAC
2006
14 years 11 months ago
2006
Abstract--We propose the scheme to integrate transmit selection diversity/maximal-ratio combining (TSD/MRC) with multicarrier (MC) direct-sequence code-division multiple access (DS...
102
click to vote
JCC
2007
14 years 11 months ago
2007
Abstract: In this study, we applied artificial neural network, implementing the backpropagation algorithm, for the prediction of the excitation and emission maxima of green fluores...
TSP
2008
14 years 11 months ago
2008
Abstract--In this paper, we develop an adaptive waveform design method for target tracking under a framework of sequential Bayesian inference. We employ polarization diversity to i...
81
Voted
TWC
2008
14 years 11 months ago
2008
Abstract -We study the problem of communication reliability and diversity in multi-hop wireless networks. Our aim is to develop a new network model that better takes into account t...