4298 search results - page 684 / 860 » Computing at the top of the world |
109
click to vote
TEI
2010
ACM
15 years 8 months ago
2010
ACM
Advances in the creation of computational materials are transforming our thinking about relations between the physical and digital. In this paper we characterize this transformati...
102
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
92
Voted
TAMC
2009
Springer
15 years 8 months ago
2009
Springer
Computability concerns information with a causal – typically algorithmic – structure. As such, it provides a schematic analysis of many naturally occurring situations. We look ...
115
click to vote
IV
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper begins with a response to the nature of contemporary artists relationships to how computers have permeated the fine art domain and how they affect the creative process. ...
105
Voted
AINA
2010
IEEE
15 years 7 months ago
2010
IEEE
Cloud computing is an emerging technology that allows users to utilize on-demand computation, storage, data and services from around the world. However, Cloud service providers ch...