Sciweavers

3692 search results - page 124 / 739
» Active learning and its use in computer science
Sort
View
WWW
2005
ACM
16 years 7 months ago
Designing learning services: from content-based to activity-based learning systems
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...
Pythagoras Karampiperis, Demetrios G. Sampson
FMCAD
2004
Springer
15 years 10 months ago
Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
Orna Grumberg, Assaf Schuster, Avi Yadgar
CDC
2009
IEEE
129views Control Systems» more  CDC 2009»
15 years 10 months ago
Improving the performance of active set based Model Predictive Controls by dataflow methods
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
Ruirui Gu, Shuvra S. Bhattacharyya, William S. Lev...
PDC
2004
ACM
15 years 12 months ago
Lost in translation: a critical analysis of actors, artifacts, agendas, and arenas in participatory design
As computer technologies start to permeate the everyday activities of a continuously growing population, social and technical as well as political and legal issues will surface. P...
Rogério De Paula
ICALT
2008
IEEE
16 years 27 days ago
Cultivating a Landscape of Online Places for a Developmental Learning Community
We describe our work on seeding and building a developmental learning community for recruiting and retaining women in educational programs and careers related to computing and inf...
Mary Beth Rosson, Hansa Sinha, Dejin Zhao, John M....