Sciweavers

2184 search results - page 134 / 437
» Assistive Embedded Technologies
Sort
View
AMKM
2003
Springer
15 years 3 months ago
An Agent-Based Approach to Mailing List Knowledge Management
The widespread use of computers and of the internet have brought about human information overload, particularly in the areas of internet searches and email management. This has ma...
Emanuela Moreale, Stuart Watt
CP
2003
Springer
15 years 3 months ago
Semi-automatic Modeling by Constraint Acquisition
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
Remi Coletta, Christian Bessière, Barry O'S...
SG
2010
Springer
15 years 3 months ago
Art 101: Learning to Draw through Sketch Recognition
iCanDraw is a drawing tool that can assist novice users to draw. The goal behind the system is to enable the users to perceive objects beyond what they know and improve their spati...
Tracy Hammond, Manoj Prasad, Daniel Dixon
MKM
2009
Springer
15 years 2 months ago
Formal Proof: Reconciling Correctness and Understanding
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
Cristian S. Calude, Christine Müller
ASSISTIVE
1998
Springer
15 years 2 months ago
A Wearable Computer Based American Sign Language Recognizer
Modern wearable computer designs package workstation level performance in systems small enough to be worn as clothing. These machines enable technology to be brought where it is n...
Thad Starner, Joshua Weaver, Alex Pentland