Sciweavers

3618 search results - page 440 / 724
» Additive functions for number systems in function fields
Sort
View
AIEDAM
2011
15 years 1 months ago
Discovering implicit constraints in design
In familiar design domains, expert designers are able to quickly focus on “good designs”, based on constraints they have learned while exploring the design space. This ability ...
Madan Mohan Dabbeeru, Amitabha Mukerjee
147
Voted
ICC
2007
IEEE
137views Communications» more  ICC 2007»
16 years 29 days ago
On the Simulation of Tikhonov Random Processes
Abstract— A novel, simple and efficient method for the generation of Tikhonov (a.k.a. von Mises) random variates is proposed. In the proposed method, circular variates of a pres...
Giuseppe Thadeu Freitas de Abreu
ICCAD
2000
IEEE
153views Hardware» more  ICCAD 2000»
15 years 10 months ago
Slope Propagation in Static Timing Analysis
ct Static timing analysis has traditionally used the PERT method for identifying the critical path of a digital circuit. Due to the influence of the slope of a signal at a particul...
David Blaauw, Vladimir Zolotov, Savithri Sundaresw...
FOIKS
2006
Springer
15 years 10 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
BMCBI
2008
138views more  BMCBI 2008»
15 years 6 months ago
Application of nonnegative matrix factorization to improve profile-profile alignment features for fold recognition and remote ho
Background: Nonnegative matrix factorization (NMF) is a feature extraction method that has the property of intuitive part-based representation of the original features. This uniqu...
Inkyung Jung, Jaehyung Lee, Soo-Young Lee, Dongsup...