Sciweavers

336 search results - page 43 / 68
» Improved data structures for fully dynamic biconnectivity
Sort
View
GLOBECOM
2007
IEEE
15 years 6 months 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...
ESOP
2006
Springer
15 years 3 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller
JMLR
2010
119views more  JMLR 2010»
14 years 6 months ago
Factorized Orthogonal Latent Spaces
Existing approaches to multi-view learning are particularly effective when the views are either independent (i.e, multi-kernel approaches) or fully dependent (i.e., shared latent ...
Mathieu Salzmann, Carl Henrik Ek, Raquel Urtasun, ...
ATAL
2007
Springer
15 years 6 months ago
Multiagent reinforcement learning and self-organization in a network of agents
To cope with large scale, agents are usually organized in a network such that an agent interacts only with its immediate neighbors in the network. Reinforcement learning technique...
Sherief Abdallah, Victor R. Lesser
MICRO
2007
IEEE
141views Hardware» more  MICRO 2007»
15 years 6 months ago
Composable Lightweight Processors
Modern chip multiprocessors (CMPs) are designed to exploit both instruction-level parallelism (ILP) within processors and thread-level parallelism (TLP) within and across processo...
Changkyu Kim, Simha Sethumadhavan, M. S. Govindan,...