4738 search results - page 35 / 948 » Past, Present, and Future |
CHI
2009
ACM
16 years 11 days ago
2009
ACM
A review of the past decade of human-computer interaction relating to environmental issues identifies three discourses whose commitments and assumptions have consequences for the ...
DAC
2006
ACM
15 years 5 months ago
2006
ACM
This paper presents nano-scale CMOS outlook, discusses the three tenets that have made electronics successful in the past, and using these tenets conclude that there is nothing on...
FSEN
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
104
click to vote
IWANN
1993
Springer
15 years 3 months ago
1993
Springer
Over the past decade a large variety of hardware has been designed to exploit the inherent parallelism of the artificial neural network models. This paper presents an overview of ...
105
click to vote
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents the estimation methods computing the probabilities of how many times web pages are downloaded and modified, respectively, in the future crawls. The methods can ...