2706 search results - page 251 / 542 » The case for a new business model |
219
click to vote
FSTTCS
2005
Springer
16 years 7 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
177
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constru...
194
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—Virtualization offers the potential for cost-effective service provisioning. For service providers who make significant investments in new virtualized data centers in support of...
169
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Lambert's model is widely used in low level computer vision algorithms such as matching, tracking or optical flow computation for example. However, it is well known that thes...
177
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe a flexible and efficient new algorithm for model order reduction of parameterized systems. The method is based on the reformulation of the parametric s...