Sciweavers

46 search results - page 8 / 10
» mp 2002
Sort
View
AML
2002
94views more  AML 2002»
15 years 13 days ago
H-theories, fragments of HA and PA-normality
For a classical theory T, H(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the ra...
Morteza Moniri
115
Voted
HPCA
2002
IEEE
16 years 28 days ago
CableS: Thread Control and Memory Management Extensions for Shared Virtual Memory Clusters
Clusters of high-end workstations and PCs are currently used in many application domains to perform large-scale computations or as scalable servers for I/O bound tasks. Although c...
Peter Jamieson, Angelos Bilas
95
Voted
ICPR
2002
IEEE
16 years 1 months ago
Manifold Pursuit: A New Approach to Appearance Based Recognition
Manifold Pursuit (MP) extends Principal Component Analysis to be invariant to a desired group of image-plane transformations of an ensemble of un-aligned images. We derive a simpl...
Amnon Shashua, Anat Levin, Shai Avidan
102
Voted
EUROMICRO
2002
IEEE
15 years 5 months ago
Applications for the Highly Parallel Mobile Multimedia Modem M3-DSP
The Mobile Multimedia Modem (M3)-DSP is based on a scalable, highly parallel DSP platform concept capable of delivering the processing power to create software solutions for tasks...
Michael Hosemann, Gerhard Fettweis, Vladimir Nikol...
ISCAS
2002
IEEE
92views Hardware» more  ISCAS 2002»
15 years 5 months ago
Low cost floating-point unit design for audio applications
This paper presents a low-cost, single-cycle floating-point unit developed for digital audio processing applications. In the unit, the serial steps of floating-point operations ar...
Sung-Won Lee, In-Cheol Park