Sciweavers

2184 search results - page 192 / 437
» Assistive Embedded Technologies
Sort
View
137
Voted
MKM
2009
Springer
15 years 11 months 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
ICALT
2008
IEEE
15 years 11 months ago
A Framework for Semantic Group Formation
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...
Asma Ounnas, Hugh C. Davis, David E. Millard
ICDIM
2008
IEEE
15 years 11 months ago
A geo-temporal Web gazetteer integrating data from multiple sources
This paper presents a geo-temporal gazetteer Web service that provides access to names of places and historical periods, together with the associated geotemporal information. With...
Hugo Manguinhas, Bruno Martins, José Luis B...
TPHOL
2008
IEEE
15 years 11 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
ICMCS
2007
IEEE
167views Multimedia» more  ICMCS 2007»
15 years 11 months 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...