Sciweavers

373 search results - page 35 / 75
» On the Iterated Hairpin Completion
Sort
View
ISCAS
2002
IEEE
109views Hardware» more  ISCAS 2002»
15 years 4 months ago
State space blind source recovery for mixtures of multiple source distributions
The paper discusses State Space Blind Source Recovery (BSR) for minimum phase and non-minimum phase mixtures of gaussian and non-gaussian distributions. The State Space Natural Gr...
Khurram Waheed, Fathi M. Salam
ASPDAC
2009
ACM
144views Hardware» more  ASPDAC 2009»
15 years 4 months ago
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee
LORI
2009
Springer
15 years 4 months ago
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
Emiliano Lorini, François Schwarzentruber, ...
ISLPED
1998
ACM
78views Hardware» more  ISLPED 1998»
15 years 4 months ago
Power-delay tradeoffs for radix-4 and radix-8 dividers
The use of higher radices in division reduces the number of iterations to complete the operation, but increases the complexity of the circuit. In this paper we explore the in uenc...
Alberto Nannarelli, Tomás Lang
3DPVT
2006
IEEE
158views Visualization» more  3DPVT 2006»
15 years 3 months ago
Revealing Significant Medial Structure in Polyhedral Meshes
Medial surfaces are popular representations of 3D objects in vision, graphics and geometric modeling. They capture relevant symmetries and part hierarchies and also allow for deta...
Svetlana Stolpner, Kaleem Siddiqi