3819 search results - page 493 / 764 » Simple Easy Terms |
199
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...
161
click to vote
VTS
2005
IEEE
16 years 7 days ago
2005
IEEE
Nanometer circuits are highly susceptible to soft errors generated by alpha-particle or atmospheric neutron strikes to circuit nodes. The reasons for the high susceptibility are t...
178
click to vote
ACMACE
2005
ACM
16 years 7 days ago
2005
ACM
FreeWill+ is a framework that aims at integrating various animation techniques for controlling human-like characters. With heterogeneity and multi-layering as its main design prin...
184
click to vote
HT
2005
ACM
16 years 7 days ago
2005
ACM
We describe Eureka, a file system search engine that takes into account the inherent relationships among files in order to improve the rankings of search results. The key idea b...
156
click to vote
ISLPED
2005
ACM
16 years 7 days ago
2005
ACM
High power consumption and low energy efficiency have become significant impediments to future performance improvements in modern microprocessors. This paper contributes to the so...