265 search results - page 18 / 53 » Little Theories |
AIEDAM
2010
13 years 6 months ago
2010
The growing movement of biologically inspired design is driven in part by the need for sustainable development and in part by the recognition that nature could be a source of inno...
JUCS
2011
12 years 11 months ago
2011
: With the emergence of the Web 2.0 phenomena, technology-assisted social networking has become the norm. The potential of social software for collaborative learning purposes is cl...
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
EUROCRYPT
2003
Springer
14 years 1 months ago
2003
Springer
In spite of a relatively large number of publications about breaking Enigma by the Allies before and during the World War II, this subject remains relatively unknown not only to th...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Individuals with cognitive deficits and their families are prime examples of collaborative "systems" that seek to perform everyday tasks together. Yet there has been lit...