Sciweavers

12289 search results - page 41 / 2458
» computer 2006
Sort
View
JGAA
2010
50views more  JGAA 2010»
14 years 8 months ago
Computational Aspects of Lucidity-Driven Graph Clustering
Robert Görke, Marco Gaertler, Florian Hü...
PCS
2010
74views more  PCS 2010»
14 years 8 months ago
The research seminar on computer Algebra in 2008-2009
Sergei A. Abramov, A. A. Bogolyubskaya, V. A. Rost...
FUIN
2007
109views more  FUIN 2007»
14 years 9 months ago
Computing Properties of Numerical Imperative Programs by Symbolic Computation
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implement...
Jacques Carette, Ryszard Janicki
PUC
2002
84views more  PUC 2002»
14 years 9 months ago
Designing Ubiquitous Computing Games - A Report from a Workshop Exploring Ubiquitous Computing Entertainment
: We report from a Research Atelier that explored how ubiquitous computing could be applied to fun and entertainment. The Atelier lasted for five days, starting with two days of sc...
Staffan Björk, Jussi Holopainen, Peter Ljungs...