Sciweavers

833 search results - page 67 / 167
» Computer science as an integrated part of engineering educat...
Sort
View
SOFSEM
2010
Springer
15 years 9 months ago
Finding and Certifying Loops
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
Harald Zankl, Christian Sternagel, Dieter Hofbauer...
VRST
2005
ACM
15 years 6 months ago
An integrated system: virtual reality, haptics and modern sensing technique (VHS) for post-stroke rehabilitation
In this paper, we introduce an interdisciplinary project, involving researchers from the fields of Physical Therapy, Computer Science, Psychology, Communication and Cell Neurobiol...
Shih-Ching Yeh, Albert A. Rizzo, Weirong Zhu, Jill...
131
Voted
SAC
2004
ACM
15 years 6 months ago
Towards a flexible, process-oriented IT architecture for an integrated healthcare network
Healthcare information systems play an important role in improving healthcare quality. As providing healthcare increasingly changes from isolated treatment episodes towards a cont...
Mario Beyer, Klaus Kuhn, Christian Meiler, Stefan ...
IVC
2000
182views more  IVC 2000»
15 years 11 days ago
Expert system for automatic analysis of facial expressions
This paper discusses our expert system called Integrated System for Facial Expression Recognition (ISFER), which performs recognition and emotional classification of human facial ...
Maja Pantic, Léon J. M. Rothkrantz
WWW
2004
ACM
16 years 1 months ago
Integrating learning objects into an open learning environment: evaluation of learning processes in an informatics learning lab
The Didactics of Informatics research group at the University of Paderborn is involved in efforts to design implement and evaluate a web-based learning laboratory for informatics ...
Johannes Magenheim, Olaf Scheel