Sciweavers

4978 search results - page 159 / 996
» Logical models of argument
Sort
View
125
Voted
DATE
2003
IEEE
76views Hardware» more  DATE 2003»
15 years 9 months ago
Modeling Noise Transfer Characteristic of Dynamic Logic Gates
Dynamic noise analysis is recently gaining more attention as a definitive method to overcome glaring deficiencies of static noise analysis. Exact dynamic noise analysis requires...
Li Ding 0002, Pinaki Mazumder
FLAIRS
2008
15 years 6 months ago
A New Approach to Model-Based Diagnosis Using Probabilistic Logic
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
Nikita A. Sakhanenko, Roshan Rammohan, George F. L...
WABI
2007
Springer
15 years 10 months ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha
CAINE
2003
15 years 5 months ago
A Fuzzy Logic Based Multiple Reference Model Adaptive Control
This paper presents a fuzzy logic approach for switching multiple reference models, within the Model Reference Adaptive Control (MRAC) framework, in response to major changes in t...
Sukumar Kamalasadan, Adel A. Ghandakly, Khalid S. ...
CPE
2003
Springer
149views Hardware» more  CPE 2003»
15 years 9 months ago
Logical and Stochastic Modeling with SMART
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
Gianfranco Ciardo, R. L. Jones III, Andrew S. Mine...