Sciweavers

2603 search results - page 301 / 521
» Design, use and experience of e-learning systems
Sort
View
DAC
2006
ACM
16 years 7 months ago
Predicate learning and selective theory deduction for a difference logic solver
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
Chao Wang, Aarti Gupta, Malay K. Ganai
CHI
2006
ACM
16 years 7 months ago
Getting a grip on tangible interaction: a framework on physical space and social interaction
Our current understanding of human interaction with hybrid or augmented environments is very limited. Here we focus on `tangible interaction', denoting systems that rely on e...
Eva Hornecker, Jacob Buur
ICCAD
2002
IEEE
117views Hardware» more  ICCAD 2002»
16 years 3 months ago
An energy-conscious algorithm for memory port allocation
Multiport memories are extensively used in modern system designs because of the performance advantages they offer. The increased memory access throughput could lead to significan...
Preeti Ranjan Panda, Lakshmikantam Chitturi
SIGIR
2006
ACM
16 years 17 days ago
One-sided measures for evaluating ranked retrieval effectiveness with spontaneous conversational speech
Early speech retrieval experiments focused on news broadcasts, for which adequate Automatic Speech Recognition (ASR) accuracy could be obtained. Like newspapers, news broadcasts a...
Baolong Liu, Douglas W. Oard
SIGMETRICS
2003
ACM
147views Hardware» more  SIGMETRICS 2003»
15 years 12 months ago
Effect of node size on the performance of cache-conscious B+-trees
In main-memory databases, the number of processor cache misses has a critical impact on the performance of the system. Cacheconscious indices are designed to improve performance b...
Richard A. Hankins, Jignesh M. Patel