Sciweavers

5086 search results - page 401 / 1018
» The Power of Comparative Reasoning
Sort
View
ICC
2007
IEEE
122views Communications» more  ICC 2007»
16 years 1 months ago
Code-Aided ML Ambiguity Resolution
Abstract— This paper deals with code-aided (CA) maximumlikelihood (ML) phase and timing ambiguity resolution. We propose a methodology based on the sum-product algorithm (SPA) to...
Cédric Herzet, Luc Vandendorpe
IJCNN
2007
IEEE
16 years 1 months ago
A Novel Weighted LBG Algorithm for Neural Spike Compression
Abstract— In this paper, we present a weighted Linde-BuzoGray algorithm (WLBG) as a powerful and efficient technique for compressing neural spike data. We compare this technique...
Sudhir Rao, António R. C. Paiva, Jose C. Pr...
FPL
2007
Springer
121views Hardware» more  FPL 2007»
16 years 28 days ago
Improving Pipelined Soft Processors with Multithreading
Designers of FPGA-based systems are increasingly including soft processors—processors implemented in programmable logic—in their designs. Any combination of area, clock freque...
Martin Labrecque, J. Gregory Steffan
SFM
2007
Springer
107views Formal Methods» more  SFM 2007»
16 years 27 days ago
A Survey of Markovian Behavioral Equivalences
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
Marco Bernardo
CSFW
2006
IEEE
16 years 25 days ago
Games for Controls
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
Krishnendu Chatterjee, Radha Jagadeesan, Corin Pit...