Sciweavers

2941 search results - page 380 / 589
» The Myth of the Educational Computer
Sort
View
SIGCSE
2002
ACM
202views Education» more  SIGCSE 2002»
15 years 6 months ago
A tutorial program for propositional logic with human/computer interactive learning
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
Stacy Lukins, Alan Levicki, Jennifer Burg
JCDL
2009
ACM
154views Education» more  JCDL 2009»
16 years 1 months ago
An alignment based system for chord sequence retrieval
Music retrieval systems for Western tonal music digital libraries have to consider rhythmic, timbral, melodic and harmonic information. Most existing retrieval systems only take i...
Pierre Hanna, Matthias Robine, Thomas Rocher
SOCC
2008
IEEE
124views Education» more  SOCC 2008»
16 years 1 months ago
Energy minimization using a greedy randomized heuristic for the voltage assignment problem in NoC
— Scaling down the voltage levels of the processing elements (PEs) in a Network-on-Chip (NoC) can significantly reduce the computation energy consumption with an overhead of the...
Pavel Ghosh, Arunabha Sen
ICADL
2007
Springer
144views Education» more  ICADL 2007»
16 years 25 days ago
Automatic Text Summarization in Engineering Information Management
In today’s knowledge-intensive engineering environment, information management is an important and essential activity. However, existing researches of Engineering Information Man...
Jiaming Zhan, Han Tong Loh, Ying Liu, Aixin Sun
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 20 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff