Similar Items: A High-Precision Acquisition Algorithm for DSSS Signals in Low CNR Scenarios Using 2-D Parallel Fuzzy Logic Control
- Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions
- A Near-Optimal Parallel Algorithm for Joining Binary Relations
- Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
- Performance evaluation of GPU-based parallel sorting algorithms
- An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
- Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA