Sciweavers

11973 search results - page 170 / 2395
» Methods for organizational development
Sort
View
ICALT
2009
IEEE
15 years 11 months ago
Towards a Unified Format for Describing Teaching Methods
This paper reports developments on a best description template for teaching methods, whose descriptive elements will eventually be mapped to the elements of the IMS Learning Desig...
Michael Derntl, Susanne Neumann, Petra Oberhuemer
ISOLA
2010
Springer
15 years 2 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
DEXAW
2003
IEEE
117views Database» more  DEXAW 2003»
15 years 10 months ago
Toward Hypermedia Design Methods for the Semantic Web
Hypermedia design methods have been proposed for the development of hypermedia and web applications. Nowadays, we face up to another challenge, the Semantic Web, in order to repre...
Susana Montero, Paloma Díaz, Ignacio Aedo, ...
HCI
2009
15 years 2 months ago
Multimodal Corpus Analysis as a Method for Ensuring Cultural Usability of Embodied Conversational Agents
In this paper we propose the method of multimodal corpus analysis to collect enough empirical data for modeling the behavior of embodied conversational agents. This is a prerequisi...
Yukiko I. Nakano, Matthias Rehm
SIAMSC
2010
142views more  SIAMSC 2010»
14 years 11 months ago
Efficient Spectral Sparse Grid Methods and Applications to High-Dimensional Elliptic Problems
Abstract. We develop in this paper some efficient algorithms which are essential to implementations of spectral methods on the sparse grid by Smolyak's construction based on a...
Jie Shen, Haijun Yu