1626 search results - page 279 / 326 » Subtyping with Power Types |
138
Voted
JCT
1998
15 years 3 months ago
1998
Let Q(N) denote the number of partitions of N into distinct parts. If ω(k) := 3k2 +k 2 , then it is well known that Q(N) + ∞X k=1 (−1)k “ Q(N − 2ω(k)) + Q(N − 2ω(−k)...
105
Voted
SOFTWARE
2002
15 years 3 months ago
2002
In only four or five years, the world wide web has changed from a static collection of HTML web pages to a dynamic engine that powers e-commerce, collaborative work, and distribut...
148
click to vote
CGF
2011
14 years 7 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...
152
Voted
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—Most objects and data in the real world are interconnected, forming complex, heterogeneous but often semistructured information networks. However, many database research...
133
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Active Appearance Models (AAMs) are generative models commonly used to model faces. Another closely related type of face models are 3D Morphable Models (3DMMs). Although AAMs are ...