Sciweavers

391 search results - page 69 / 79
» Efficient Self-Reconfigurable Implementations Using On-chip ...
Sort
View
CODES
2006
IEEE
15 years 1 months ago
Architectural support for safe software execution on embedded processors
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
Divya Arora, Anand Raghunathan, Srivaths Ravi, Nir...
ICIP
2002
IEEE
16 years 1 months ago
No-reference perceptual quality assessment of JPEG compressed images
Human observers can easily assess the quality of a distorted image without examining the original image as a reference. By contrast, designing objective No-Reference (NR) quality ...
Hamid R. Sheikh, Zhou Wang, Alan C. Bovik
DAC
2003
ACM
16 years 20 days ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
IPAS
2010
15 years 2 months ago
A memory-efficient and time-consistent filtering of depth map sequences
View plus depth` is a 3D video representation where a single color video channel is augmented with per-pixel depth information in the form of gray-scale video sequence. This repre...
Sergey Smirnov, Atanas P. Gotchev, Karen O. Egiaza...
AAAI
2006
15 years 1 months ago
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits
The MAP (maximum a posteriori hypothesis) problem in Bayesian networks is to find the most likely states of a set of variables given partial evidence on the complement of that set...
Jinbo Huang, Mark Chavira, Adnan Darwiche