3172 search results - page 524 / 635 » Combining Specification Techniques for Processes, Data and T... |
138
click to vote
WSC
1998
15 years 7 months ago
1998
Hong Kong possesses one of the world's largest public housing stocks which provide accommodation for 3.1 million people. To meet the growing need for public housing, the gove...
183
click to vote
AAAI
1996
15 years 7 months ago
1996
Two methods are described for enhancing performance of branch and bound methods for overconstrained CSPS. These methods improve either the upper or lower bound, respectively, duri...
273
click to vote
CGF
2008
15 years 6 months ago
2008
Creating long motion sequences is a time-consuming task even when motion capture equipment or motion editing tools are used. In this paper, we propose a system for creating a long...
172
click to vote
JGTOOLS
2008
15 years 6 months ago
2008
Abstract. We explore the implications of reversing the process of shadow computation for real-time applications that model complex reflectance and lighting (such as that specified ...
188
click to vote
VMV
2004
15 years 7 months ago
2004
Unstructured tetrahedral grids are a common data representation of three-dimensional scalar fields. For convex unstructured meshes efficient rendering methods are known. For conca...