11063 search results - page 228 / 2213 » On the existence of universal models |
171
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
139
click to vote
ALIFE
2010
15 years 6 months ago
2010
Edgar Codd's 1968 design for a self-replicating cellular automata machine has never been implemented. Partly this is due to its enormous size but we have also identified four...
138
click to vote
CEE
2010
15 years 6 months ago
2010
This paper proposes a simple and efficient decision feedback equalizer (DFE) for Discrete Fourier Transform-Spread Orthogonal Frequency Division Multiplex (DFT-S OFDM) system in Ev...
144
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The Library of Babel, described by Jorge Luis Borges, stores an enormous amount of information. The Library exists ab aeterno. Wikipedia, a free online encyclopaedia, bec...
165
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...