Sciweavers

4978 search results - page 49 / 996
» Logical models of argument
Sort
View
ISLPED
2003
ACM
95views Hardware» more  ISLPED 2003»
14 years 2 months ago
Power efficient comparators for long arguments in superscalar processors
Traditional pulldown comparators that are used to implement associativeaddressing logic in superscalar microprocessors dissipate energy on a mismatch in any bit position in the co...
Dmitry Ponomarev, Gurhan Kucuk, Oguz Ergin, Kanad ...
FUZZY
2001
Springer
139views Fuzzy Logic» more  FUZZY 2001»
14 years 1 months ago
Neural Model Identification Using Local Robustness Analysis
Héctor Allende, Claudio Moraga, Rodrigo Sal...
CADE
2000
Springer
14 years 1 months ago
Reducing Model Checking of the Many to the Few
E. Allen Emerson, Vineet Kahlon
FUZZY
1997
Springer
133views Fuzzy Logic» more  FUZZY 1997»
14 years 28 days ago
Local Search for Computing Normal Circumstances Models
Bertrand Mazure, Lakhdar Sais, Éric Gr&eacu...