13026 search results - page 2393 / 2606 » Creativity and Artificial Intelligence |
155
click to vote
ISMVL
2005
IEEE
16 years 8 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 8 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...
167
click to vote
TPHOL
2005
IEEE
16 years 7 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...
201
click to vote
TPHOL
2005
IEEE
16 years 7 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
204
click to vote
ACMACE
2005
ACM
16 years 7 days ago
2005
ACM
We describe the development of the CaveUT system, which is a software supporting immersive virtual reality installations based on the Unreal Tournament game engine. CaveUT impleme...