634 search results - page 33 / 127 » Completion Procedures as Semidecision Procedures |
NN
2011
Springer
13 years 4 months ago
2011
Springer
In this letter we explore an alternative structural representation for Steinbuch-type binary associative memories. These networks offer very generous storage capacities (both asy...
MEMICS
2010
13 years 4 months ago
2010
Recently, almost uncontrolled technological progress allows so called high-throughput data collection for sophisticated and complex experimental biological systems analysis. Espec...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
The problem of stochastic robust sum mean square error (MSE) minimization transceiver design is addressed for multiple-input multiple-output (MIMO) broadcast channels (BCs). The t...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
We propose a novel method to automatically detect and extract the video modality of the sound sources that are present in a scene. For this purpose, we first assess the synchrony...
CADE
2001
Springer
14 years 10 months ago
2001
Springer
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...