537 search results - page 57 / 108 » A Call to Regularity |
TVCG
2010
13 years 3 months ago
2010
Efficient multiresolution representations for isosurfaces and interval volumes are becoming increasingly important as the gap between volume data sizes and processing speed continu...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—Although capacity has been extensively studied in wireless networks, most of the results are for homogeneous wireless networks where all nodes are assumed identical. In this pap...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
IVS
2007
13 years 8 months ago
2007
Understanding the spatial and temporal characteristics of individual and group behavior in social networks is a critical component of visual tools for intelligence analysis, emerg...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
Circuit fabrics composed of highly regular structures, called logic bricks, have been described recently for improving yield. An automated logic brick design flow based on a SAT ...