647 search results - page 79 / 130 » Generation of BDDs from hardware algorithm descriptions |
ISCAS
2007
IEEE
14 years 2 months ago
2007
IEEE
— Digital fountain codes are becoming increasingly important for multimedia communications over networks subject to packet erasures. These codes have significantly lower complex...
FGR
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe an algorithm for automatically finding correspondences from face video sequences. This method is useful to many applications such as face tracking, face modeling and ...
PG
2000
IEEE
14 years 9 days ago
2000
IEEE
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...
PADL
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
ACSD
2007
IEEE
13 years 9 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...