Sciweavers

2487 search results - page 261 / 498
» cases 2009
Sort
View
VLSID
2009
IEEE
119views VLSI» more  VLSID 2009»
16 years 7 months ago
Single Ended Static Random Access Memory for Low-Vdd, High-Speed Embedded Systems
Abstract-- Single-ended static random access memory (SESRAM) is well known for their tremendous potential of low active power and leakage dissipations. In this paper, we present a ...
Jawar Singh, Jimson Mathew, Saraju P. Mohanty, Dhi...
CADE
2009
Springer
16 years 7 months ago
Decidability Results for Saturation-Based Model Building
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
Matthias Horbach, Christoph Weidenbach
ICIAP
2009
ACM
16 years 7 months ago
Pathnodes Integration of Standalone Particle Filters for People Tracking on Distributed Surveillance Systems
In this paper, we present a new approach to object tracking based on batteries of particle filter working in multicamera systems with non overlapped fields of view. In each view th...
Roberto Vezzani, Davide Baltieri, Rita Cucchiara
DCC
2009
IEEE
16 years 7 months ago
Multi Level Multiple Descriptions
Multiple Description (MD) source coding is a method to overcome unexpected information loss in a diversity system such as the internet, or a wireless network. While classic MD cod...
Tal A. Beery, Ram Zamir
DCC
2009
IEEE
16 years 7 months ago
The Posterior Matching Feedback Scheme for Joint Source-Channel Coding with Bandwidth Expansion
When transmitting a Gaussian source over an AWGN channel with an input power constraint and a quadratic distortion measure, it is well known that optimal performance can be obtain...
Ofer Shayevitz, Meir Feder