2501 search results - page 173 / 501 » Logics with Rank Operators |
125
click to vote
MTV
2007
IEEE
15 years 10 months ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
143
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Over the last decade, the design of ultra-lowpower digital circuits in subthreshold regime has been driven by the quest for minimum energy per operation. In this contri...
128
click to vote
EKAW
2000
Springer
15 years 8 months ago
2000
Springer
Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model to support this design ...
162
click to vote
AISB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
140
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
This work shows a stand-alone photovoltaic system application based on fuzzy logic controllers and genetic fuzzy systems. A hierarchical fuzzy controller has been designed that at...