Sciweavers

1120 search results - page 142 / 224
» Making computer science minority-friendly
Sort
View
GMP
2010
IEEE
195views Solid Modeling» more  GMP 2010»
15 years 7 months ago
Construction of Minimal Catmull-Clark's Subdivision Surfaces with Given Boundaries
Minimal surface is an important class of surfaces. They are widely used in the areas such as architecture, art and natural science etc.. On the other hand, subdivision technology h...
Qing Pan, Guoliang Xu
CANDT
2009
15 years 7 months ago
And the ringleaders were banned: an examination of protest in virtual worlds
Protest has made the jump between the offline and the online spaces and is frequently used in most virtual worlds available today. Despite the frequency of these protest actions i...
Bridget Marie Blodgett
124
Voted
PLDI
1995
ACM
15 years 7 months ago
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages
d Abstract) Alexander Aiken Manuel F¨ahndrich Raph Levieny Computer Science Division University of California, Berkeleyz Static memory managementreplaces runtime garbage collecti...
Alexander Aiken, Manuel Fähndrich, Raph Levie...
146
Voted
AAAI
2007
15 years 6 months ago
An Intelligent System for Chinese Calligraphy
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...
Songhua Xu, Hao Jiang, Francis Chi-Moon Lau, Yunhe...
136
Voted
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 5 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik