226 search results - page 39 / 46 » From Logic to Physics: How the Meaning of Computation Change... |
CHI
2003
ACM
14 years 8 months ago
2003
ACM
We describe two games in which online participants collaborated with mobile participants on the city streets. In the first, the players were online and professional performers wer...
ICCAD
2001
IEEE
14 years 4 months ago
2001
IEEE
Abstract: We propose an effective algorithm for power optimization in behavioral synthesis. In previous work, it has been shown that several hardware allocation/binding problems fo...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
BMCBI
2004
13 years 7 months ago
2004
Background: The development of software tools that analyze microarray data in the context of genetic knowledgebases is being pursued by multiple research groups using different me...
MIDDLEWARE
2005
Springer
14 years 1 months ago
2005
Springer
Currently, the interest in Ambient Intelligence (or AmI) has increased exponentially due to the widespread use of portable devices. Users demand more and more functionality from t...