Sciweavers

872 search results - page 130 / 175
» Automatic Generation of Detection Algorithms for Design Defe...
Sort
View
DATE
2009
IEEE
100views Hardware» more  DATE 2009»
14 years 2 months ago
Increasing the accuracy of SAT-based debugging
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
André Sülflow, Görschwin Fey, C&e...
FPL
2001
Springer
96views Hardware» more  FPL 2001»
14 years 4 days ago
System Level Tools for DSP in FPGAs
Abstract. Visual data ow environments are ideally suited for modeling digital signal processing (DSP) systems, as many DSP algorithms are most naturally speci ed by signal ow gra...
James Hwang, Brent Milne, Nabeel Shirazi, Jeffrey ...
PG
2000
IEEE
14 years 1 days ago
Interactive Manipulation Planning for Animated Characters
We present a brief overview of an algorithm for interactively animating object grasping and manipulation tasks for human figures. The technique is designed to efficiently genera...
James J. Kuffner Jr., Jean-Claude Latombe
CGF
2008
84views more  CGF 2008»
13 years 7 months ago
Frame Sequential Interpolation for Discrete Level-of-Detail Rendering
In this paper we present a method for automatic interpolation between adjacent discrete levels of detail to achieve smooth LOD changes in image space. We achieve this by breaking ...
Daniel Scherzer, Michael Wimmer
GECCO
2005
Springer
218views Optimization» more  GECCO 2005»
14 years 1 months ago
Particle swarm optimization for analysis of mass spectral serum profiles
Serum profiling using mass spectrometry is an emerging technology with a great potential to provide biomarkers for complex diseases such as cancer. However, protein profiles obtai...
Habtom W. Ressom, Rency S. Varghese, Daniel Saha, ...