Sciweavers

4155 search results - page 350 / 831
» Topic-Specific Optimization and Structuring
Sort
View
BMCBI
2010
116views more  BMCBI 2010»
15 years 6 months ago
A hybrid approach to protein folding problem integrating constraint programming with local search
Background: The protein folding problem remains one of the most challenging open problems in computational biology. Simplified models in terms of lattice structure and energy func...
Abu Zafer M. Dayem Ullah, Kathleen Steinhöfel
ISCAS
2008
IEEE
89views Hardware» more  ISCAS 2008»
16 years 1 months ago
Multi-loop efficient sturdy MASH delta-sigma modulators
— An extended version of sturdy MASH delta-sigma modulators is presented in this paper. Improved performance is achieved using in-band zero optimization. The challenges towards h...
Nima Maghari, Un-Ku Moon
MTV
2006
IEEE
138views Hardware» more  MTV 2006»
16 years 24 days ago
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
Marc Herbstritt, Bernd Becker, Christoph Scholl
DATE
2005
IEEE
140views Hardware» more  DATE 2005»
16 years 12 days ago
Area-Efficient Selective Multi-Threshold CMOS Design Methodology for Standby Leakage Power Reduction
This paper presents a design flow for an improved selective multi-threshold(Selective-MT) circuit. The Selective-MT circuit is improved so that plural MT-cells can share one switc...
Takeshi Kitahara, Naoyuki Kawabe, Fumihiro Minami,...
CIARP
2004
Springer
16 years 5 days ago
Adaboost to Classify Plaque Appearance in IVUS Images
Intravascular Ultrasound images represent a unique tool to analyze the morphological vessel structures and make decisions about plaque presence. Texture analysis is a robust way to...
Oriol Pujol, Petia Radeva, Jordi Vitrià, Jo...