Sciweavers

12052 search results - page 455 / 2411
» computing 2010
Sort
View
163
Voted
TOG
2010
157views more  TOG 2010»
15 years 1 months ago
Computer-generated residential building layouts
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
Paul Merrell, Eric Schkufza, Vladlen Koltun
TOG
2010
142views more  TOG 2010»
15 years 1 months ago
Free-flowing granular materials with two-way solid coupling
We present a novel continuum-based model that enables efficient simulation of granular materials. Our approach fully solves the internal pressure and frictional stresses in a gran...
Rahul Narain, Abhinav Golas, Ming C. Lin
INFOCOM
2010
IEEE
15 years 4 months ago
On Global Modeling of Backbone Network Traffic
We develop a probabilistic framework for global modeling of the traffic over a computer network. The model integrates existing single
Stilian Stoev, George Michailidis, Joel Vaughan
LPAR
2010
Springer
15 years 4 months ago
Graded Alternating-Time Temporal Logic
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
Marco Faella, Margherita Napoli, Mimmo Parente
DCC
2010
IEEE
15 years 7 months ago
Enumeration of orthogonal Buekenhout unitals
In this paper we develop general techniques for enumerating orthogonal Buekenhout unitals embedded in two-dimensional translation planes. We then apply these techniques in the reg...
R. D. Baker, Gary L. Ebert, Kenneth L. Wantz