Sciweavers

1209 search results - page 83 / 242
» Approximation by pseudo-linear operators
Sort
View
AVBPA
2003
Springer
106views Biometrics» more  AVBPA 2003»
15 years 9 months ago
A Face Recognition System Based on Local Feature Analysis
In this paper a completely automatic face recognition system is presented. The system is inspired by the elastic bunch graph method, but the fiducial point localization is complet...
Stefano Arca, Paola Campadelli, Raffaella Lanzarot...
UIST
1998
ACM
15 years 8 months ago
The Music Notepad
We present a system for entering common music notation based on 2D gestural input. The key feature of the system is the look-and-feel of the interface which approximates sketching...
Andrew S. Forsberg, Mark Dieterich, Robert C. Zele...
MICRO
1993
IEEE
97views Hardware» more  MICRO 1993»
15 years 8 months ago
Register renaming and dynamic speculation: an alternative approach
In this paper, we present a novel mechanism that implements register renaming, dynamic speculation and precise interrupts. Renaming of registers is performed during the instructio...
Mayan Moudgill, Keshav Pingali, Stamatis Vassiliad...
CAV
2007
Springer
122views Hardware» more  CAV 2007»
15 years 8 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
ASPDAC
2008
ACM
154views Hardware» more  ASPDAC 2008»
15 years 6 months ago
Automated techniques for energy efficient scheduling on homogeneous and heterogeneous chip multi-processor architectures
Abstract-- We address performance maximization of independent task sets under energy constraint on chip multi-processor (CMP) architectures that support multiple voltage/frequency ...
Sushu Zhang, Karam S. Chatha