Sciweavers

4978 search results - page 49 / 996
» Logical models of argument
Sort
View
ISLPED
2003
ACM
95views Hardware» more  ISLPED 2003»
15 years 5 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»
15 years 4 months ago
Neural Model Identification Using Local Robustness Analysis
Héctor Allende, Claudio Moraga, Rodrigo Sal...
CADE
2000
Springer
15 years 4 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»
15 years 4 months ago
Local Search for Computing Normal Circumstances Models
Bertrand Mazure, Lakhdar Sais, Éric Gr&eacu...