Sciweavers

13827 search results - page 2534 / 2766
» The state of artificial intelligence
Sort
View
ISMVL
2005
IEEE
108views Hardware» more  ISMVL 2005»
16 years 25 days ago
Approaching the Physical Limits of Computing
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...
Michael P. Frank
ISMVL
2005
IEEE
107views Hardware» more  ISMVL 2005»
16 years 25 days ago
Multiple-Valued Caches for Power-Efficient Embedded Systems
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...
Emre Özer, Resit Sendag, David Gregg
TPHOL
2005
IEEE
16 years 25 days ago
Alpha-Structural Recursion and Induction
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...
Andrew M. Pitts
ACMACE
2005
ACM
16 years 25 days ago
The CaveUT system: immersive entertainment based on a game engine
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...
Jeffrey Jacobson, Marc Le Renard, Jean-Luc Lugrin,...
HT
2005
ACM
16 years 25 days ago
Evaluation of adaptive hypermedia systems' conversion
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
Alexandra I. Cristea, Helen Ashman, Craig D. Stewa...
« Prev « First page 2534 / 2766 Last » Next »