215 search results - page 4 / 43 » Computing Branches Out: On Revitalizing Computing Education |
ICCV
2011
IEEE
12 years 5 months ago
2011
IEEE
Fitting statistical 2D and 3D shape models to images is necessary for a variety of tasks, such as video editing and face recognition. Much progress has been made on local fitting...
TEI
2009
ACM
13 years 10 months ago
2009
ACM
Pendaphonics is a tangible physical-digital-sonic environment and interactive system that engages users in individual, collaborative, group, and distributed interactive experience...
SIGCSE
2004
ACM
13 years 11 months ago
2004
ACM
Literature on women in computing points out that computer science is not being effective at attracting and retain
EUROPAR
2005
Springer
13 years 11 months ago
2005
Springer
— Previous works have shown that neural branch prediction techniques achieve far lower misprediction rate than traditional approaches. We propose a neural predictor based on two ...
DLT
2009
13 years 3 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...