Sciweavers

1712 search results - page 138 / 343
» Assistive technology in computer science
Sort
View
CHI
2008
ACM
16 years 6 months ago
MAHI: investigation of social scaffolding for reflective thinking in diabetes management
In the recent years, the number of individuals engaged in self-care of chronic diseases has grown exponentially. Advances in computing technologies help individuals with chronic d...
Lena Mamykina, Elizabeth D. Mynatt, Patricia David...
CDES
2006
78views Hardware» more  CDES 2006»
15 years 7 months ago
The Impact of Cache Organization in Optimizing Microprocessor Power Consumption
In the recent years, power consumption has become increasingly an important design concern as silicon area and performance in modern computer systems design. Several factors have ...
Nagm Mohamed, Nazeih Botros, Wei Zhang
MKM
2009
Springer
16 years 28 days ago
MathLang Translation to Isabelle Syntax
Converting mathematical documents from a human-friendly natural language to a form that can be readily processed by computers is often a tedious, manual task. Translating between v...
Robert Lamar, Fairouz Kamareddine, J. B. Wells
ICMCS
2007
IEEE
167views Multimedia» more  ICMCS 2007»
16 years 21 days ago
Surveillance and Activity Recognition with Depth Information
In the present treatise an image sensor acquiring additional depth information is applied to extend regular computer vision algorithms. The so called Photonic Mixer Device (PMD) b...
Frank Wallhoff, Martin Rub, Gerhard Rigoll, Johann...
MKM
2007
Springer
16 years 16 days ago
Context Aware Calculation and Deduction
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
Amine Chaieb, Makarius Wenzel