Sciweavers

1996 search results - page 323 / 400
» A decision procedure for linear
Sort
View
CVPR
2007
IEEE
16 years 19 days ago
Matrix-Structural Learning (MSL) of Cascaded Classifier from Enormous Training Set
Aiming at the problem when both positive and negative training set are enormous, this paper proposes a novel Matrix-Structural Learning (MSL) method, as an extension to Viola and ...
Shengye Yan, Shiguang Shan, Xilin Chen, Wen Gao, J...
GLOBECOM
2007
IEEE
16 years 19 days ago
Turbo Equalization for Single Antenna Cochannel Interference Cancellation in Single Carrier Transmission Systems
Abstract—In recent years, single antenna interference cancellation (SAIC) has evolved as an attractive method to increase the capacity of single carrier mobile radio networks lik...
Patrick Nickel, Wolfgang H. Gerstacker, Wolfgang K...
ICC
2007
IEEE
137views Communications» more  ICC 2007»
16 years 19 days ago
Maximum-Likelihood Decoding and Performance Analysis of a Noisy Channel Network with Network Coding
Abstract— We investigate sink decoding methods and performance analysis approaches for a network with intermediate node encoding (coded network). The network consists of statisti...
Ming Xiao, Tor M. Aulin
LICS
2007
IEEE
16 years 17 days ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
CPAIOR
2007
Springer
16 years 14 days ago
A Column Generation Based Destructive Lower Bound for Resource Constrained Project Scheduling Problems
In this paper we present a destructive lower bound for a number of resource constrained project scheduling (RCPS) problems, which is based on column generation. We first look at t...
J. M. van den Akker, Guido Diepen, J. A. Hoogeveen