Sciweavers

1754 search results - page 25 / 351
» What's new in informatics
Sort
View
CHI
2007
ACM
14 years 8 months ago
Designing tangibles for children: what designers need to know
New forms of tangible and spatial child computer interaction and supporting technologies can be designed to leverage the way children develop intelligence in the world. In order t...
Alissa Nicole Antle
EVOW
2009
Springer
14 years 2 months ago
Life's What You Make: Niche Construction and Evolutionary Art
This paper advances new methods for ecosystemic approaches to evolutionary music and art. We explore the biological concept of the niche and its role in evolutionary dynamics, appl...
Jon McCormack, Oliver Bown
IPPS
2008
IEEE
14 years 2 months ago
What is the best way to prove a cryptographic protocol correct?
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
Sreekanth Malladi, Gurdeep S. Hura
SIGCSE
2006
ACM
119views Education» more  SIGCSE 2006»
14 years 1 months ago
Practice what you preach: full separation of concerns in CS1/CS2
We argue that the failure to separate the concerns in CS1 is the leading cause of difficulty in teaching OOP in the first year. We show how the concerns can be detangled and prese...
Hamzeh Roumani
KI
2005
Springer
14 years 1 months ago
Selecting What Is Important: Training Visual Attention
We present a new, sophisticated algorithm to select suitable training images for our biologically motivated attention system VOCUS. The system detects regions of interest depending...
Simone Frintrop, Gerriet Backer, Erich Rome