5064 search results - page 145 / 1013 » Recent Developments in Gridsolve |
CHI
2007
ACM
14 years 8 months ago
2007
ACM
We are introducing a new type of digitally enhanced book which symbiotically merges different type of media in a seamless approach. By keeping the traditional book (and its afford...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
User-driven innovation regards users as a resource in the innovation process. Taking prototypes of novel technology as a starting point, a dialogue with users becomes a springboar...
POPL
2001
ACM
14 years 8 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
STOC
2007
ACM
14 years 8 months ago
2007
ACM
Semidefinite programs (SDP) have been used in many recent approximation algorithms. We develop a general primal-dual approach to solve SDPs using a generalization of the well-know...