Results 261 to 270 of about 1,037,326 (304)
Some of the next articles are maybe not open access.
Combined spectral techniques for Boolean matching
Proceedings of the 1996 ACM fourth international symposium on Field-programmable gate arrays - FPGA '96, 1996Signatures are applied as fast filters during Boolean matching in technology mapping and formal verification. They are used to efficiently find candidates of corresponding variables in pairs of Boolean functions. In this paper, we combine present techniques of signature computation with representations of Boolean functions in the spectral domains.
Endric Schubert, Wolfgang Rosenstiel
openaire +1 more source
Combining Software and Hardware Verification Techniques
Formal Methods in System Design, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Robert P. Kurshan +4 more
openaire +1 more source
Combining Intelligent Techniques for Sensor Fusion
Applied Intelligence, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Katti Faceli +2 more
openaire +2 more sources
The Reduction Mammaplasty—A Combined Technique
Clinics in Plastic Surgery, 1976The purposes of the reduction mammaplasty are: (1) the relief of the pain and discomfort of heavy, pendulous breasts; (2) the reduction is size of the breasts to achieve a normal and pleasing result with the brassiere in place and with clothing; (3) a reasonable and pleasing contour of the breasts from front and side, without the support of clothing or
openaire +2 more sources
Combining temporal specification techniques
2005This article presents a combination of different temporal specification and verification techniques for real time systems. We develop a semantic model that can be used as a model for both transition based formalisms like TLA and the temporal logics by Manna and Pnueli as well as interval based formalisms like the Duration Calculus.
Morten Ulrik Sørensen +2 more
openaire +1 more source
Biorevitalization and Combination Techniques
2016Biorejuvenation is a common term to indicate mesotherapy for skin rejuvenation (also called biorevitalization or mesolift). It’s a technique used to rejuvenate and tone the skin by means of an injection in the superficial dermis of suitable products, perfectly biocompatible and totally absorbable.
Maria Pia De Padova, Anna Masarà
openaire +1 more source
On Combining Multiple Speedup Techniques
1992Abstract A variety of speedup techniques can be combined to improve the performance of an inference system. We present an empirical study evaluating the composition of two speedup techniques: explanation-based learning and subgoal caching.
openaire +1 more source
Combined Analog-Digital Techniques in Simulation
1962Publisher Summary One of the most common types of problems to which computers have been applied is the study of complex nonlinear dynamic systems subjected to external disturbances. Such systems are represented mathematically by nonlinear systems of differential equations with time as the independent variable.
openaire +2 more sources