Sciweavers

2292 search results - page 204 / 459
» Structure preserving embedding
Sort
View
CODES
1996
IEEE
15 years 8 months ago
Uninterpreted Co-Simulation for Performance Evaluation of Hw/Sw Systems
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
Jean Paul Calvez, Dominique Heller, Olivier Pasqui...
PST
2004
15 years 5 months ago
Syntax-based Vulnerability Testing of Frame-based Network Protocols
Syntax-based vulnerability testing is a static black-box testing method for protocol implementations. It involves testing the Implementation Under Test (IUT) with a large number o...
Oded Tal, Scott Knight, Tom Dean
CVPR
2000
IEEE
16 years 6 months ago
Reconstruction of a Scene with Multiple Linearly Moving Objects
We describe an algorithmfor reconstructing a scene containing multiple moving objects. Given a monocular image sequence, we recover the scene structure, the trajectories of the mo...
Mei Han, Takeo Kanade
ICIP
2000
IEEE
16 years 6 months ago
Combined Spatial and Subband Block Coding of Images
This paper describes a low-memory cache efficient Hybrid Block Coder (HBC) for images in which an image subband decomposition is partitioned into a combination of spatial blocks a...
Frederick W. Wheeler, William A. Pearlman
TPHOL
2008
IEEE
15 years 10 months ago
First-Class Type Classes
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
Matthieu Sozeau, Nicolas Oury