634 search results - page 33 / 127 » Completion Procedures as Semidecision Procedures |
245
click to vote
NN
2011
Springer
14 years 10 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...
111
click to vote
MEMICS
2010
14 years 10 months ago
2010
Recently, almost uncontrolled technological progress allows so called high-throughput data collection for sophisticated and complex experimental biological systems analysis. Espec...
103
Voted
ICASSP
2011
IEEE
14 years 7 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...
161
click to vote
ICASSP
2011
IEEE
14 years 7 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...
125
Voted
CADE
2001
Springer
16 years 3 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...