Sciweavers

2597 search results - page 288 / 520
» On numbers of Davenport-Schinzel sequences
Sort
View
ICIP
1998
IEEE
15 years 5 months ago
Knowledge-based Segmentation of SAR Images
A new approach for the segmentation of still and video SAR images is described in this paper. A priori knowledge about the objects present in the image, e.g., target, shadow, and ...
Steven Haker, Guillermo Sapiro, Allen Tannenbaum
ICNP
1998
IEEE
15 years 5 months ago
Flow Theory: An Enhancement
Flow Theory is a rich, effective theory introduced in order to study real-time network protocols. It is based on discrete mathematics in which a flow of data is represented by an ...
Alfio Lombardo, Giacomo Morabito, Sergio Palazzo, ...
CSL
1995
Springer
15 years 5 months ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle
DAC
1995
ACM
15 years 5 months ago
Power Estimation in Sequential Circuits
Abstract A new method for power estimation in sequential circuits is presented that is based on a statistical estimation technique. By applying randomly generated input sequences t...
Farid N. Najm, Shashank Goel, Ibrahim N. Hajj
ICC
1997
IEEE
108views Communications» more  ICC 1997»
15 years 5 months ago
MLSE Receiver for the Dispersive Rayleigh Fading Channel
: A maximum likelihood sequence estimator for the dispersive Rayleigh fading channel is developed. Following [1, 2], the MLSE uses a Kalman based channel estimator to acquire the c...
Wing Seng Leon, Desmond P. Taylor