13090 search results - page 2407 / 2618 » Usable artificial intelligence |
195
click to vote
IEEEICCI
2005
IEEE
16 years 4 days ago
2005
IEEE
We want to design a suitable computer for the efficient execution of the software now being developed that will display human-like cognitive abilities. Examples of these potential...
170
click to vote
IEEEICCI
2005
IEEE
16 years 4 days ago
2005
IEEE
The positive region in rough set framework and Shannon conditional entropy are two traditional uncertainty measurements, used usually as heuristic metrics in attribute reduction. ...
151
click to vote
ISMVL
2005
IEEE
16 years 4 days ago
2005
IEEE
As logic device sizes shrink towards the nanometer scale, a number of important physical limits threaten to soon halt further improvements in computer performance per unit cost. H...
164
click to vote
ISMVL
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper, we propose three novel cache models using Multiple-Valued Logic (MVL) paradigm to reduce the cache data storage area and cache energy consumption for embedded syste...
166
click to vote
TPHOL
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...