Sciweavers

1428 search results - page 155 / 286
» aims 2010
Sort
View
GMP
2010
IEEE
195views Solid Modeling» more  GMP 2010»
15 years 8 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
WOLLIC
2010
Springer
15 years 8 months ago
A CTL-Based Logic for Program Abstractions
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
Martin Lange, Markus Latte
ACMIDC
2010
15 years 8 months ago
How the social structure of intercultural computer clubs fosters interactive storytelling
Stories play an important role in the collaborative project work of children and adults in intercultural computer clubs “come_IN”. They constitute the narrative framework for ...
Anne Weibert, Kai Schubert
113
Voted
DAC
2010
ACM
15 years 8 months ago
Lattice-based computation of Boolean functions
This paper studies the implementation of Boolean functions with lattices of two-dimensional switches. Each switch is controlled by a Boolean literal. If the literal is 1, the swit...
Mustafa Altun, Marc D. Riedel
EENERGY
2010
15 years 8 months ago
ICT for green: how computers can help us to conserve energy
Information and communication technology (ICT) consumes energy, but is also an important means of conserving energy. Conventionally, it has done so by optimizing the performance o...
Friedemann Mattern, Thorsten Staake, Markus Weiss