Sciweavers

349 search results - page 41 / 70
» Improvisation principles and techniques for design
Sort
View
EJWCN
2010
97views more  EJWCN 2010»
13 years 2 months ago
Analysis and Construction of Full-Diversity Joint Network-LDPC Codes for Cooperative Communications
Abstract--Transmit diversity is necessary in harsh environments to reduce the required transmit power for achieving a given error performance at a certain transmission rate. In net...
Dieter Duyck, Daniele Capirone, Joseph Jean Boutro...
DAC
2009
ACM
14 years 2 months ago
Variational capacitance extraction of on-chip interconnects based on continuous surface model
In this paper we present a continuous surface model to describe the interconnect geometric variation, which improves the currently used model for better accuracy while not increas...
Wenjian Yu, Chao Hu, Wangyang Zhang
ISMIR
2005
Springer
215views Music» more  ISMIR 2005»
14 years 1 months ago
Separation of Vocals from Polyphonic Audio Recordings
Source separation techniques like independent component analysis and the more recent non-negative matrix factorization are gaining widespread use for the monaural separation of in...
Shankar Vembu, Stephan Baumann
POPL
2008
ACM
14 years 8 months ago
Engineering formal metatheory
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
Arthur Charguéraud, Benjamin C. Pierce, Bri...
EXPERT
2006
156views more  EXPERT 2006»
13 years 7 months ago
Computational Models of Ethical Reasoning: Challenges, Initial Steps, and Future Directions
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
Bruce M. McLaren