Sciweavers

2607 search results - page 61 / 522
» Complete Functional Synthesis
Sort
View
170
Voted
JAIR
2012
254views Hardware» more  JAIR 2012»
13 years 5 months ago
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos...
VLSID
2002
IEEE
115views VLSI» more  VLSID 2002»
16 years 3 months ago
Logic Synthesis for AND-XOR-OR Type Sense-Amplifying PLA
In this paper, a new logic synthesis method for an AND-XOR-OR type sense-amplifying PLA is proposed. An AND-XOR-OR type sense-amplifying PLA can achieve lowpower dissipation and h...
Hiroaki Yoshida, Hiroaki Yamaoka, Makoto Ikeda, Ku...
ASPDAC
2008
ACM
92views Hardware» more  ASPDAC 2008»
15 years 5 months ago
Decomposition based approach for synthesis of multi-level threshold logic circuits
Scaling is currently the most popular technique used to improve performance metrics of CMOS circuits. This cannot go on forever because the properties that are responsible for the ...
Tejaswi Gowda, Sarma B. K. Vrudhula
131
Voted
MICCAI
2010
Springer
15 years 1 months ago
Complete Valvular Heart Apparatus Model from 4D Cardiac CT
Abstract. The cardiac valvular apparatus, composed of the aortic, mitral, pulmonary and tricuspid valve, is an essential part of the anatomical, functional and hemodynamic characte...
Sasa Grbic, Razvan Ioan Ionasec, Dime Vitanovski, ...
MLMI
2004
Springer
15 years 8 months ago
A Mixed-Lingual Phonological Component Which Drives the Statistical Prosody Control of a Polyglot TTS Synthesis System
A polyglot text-to-speech synthesis system which is able to read aloud mixed-lingual text has first of all to derive the correct pronunciation. This is achieved with an accurate m...
Harald Romsdorfer, Beat Pfister, René Beutl...