Sciweavers

1973 search results - page 200 / 395
» Issues in the Integration of IN and TMN
Sort
View
SAS
1993
Springer
139views Formal Methods» more  SAS 1993»
15 years 10 months ago
Compiling FX on the CM-2
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
Jean-Pierre Talpin, Pierre Jouvelot
AIED
2007
Springer
15 years 10 months ago
Novel Tools for Assessing Student Discussions: Modeling threads and participant roles using speech act and course topic analysis
This paper describes new techniques for assessing pedagogical discourse via threaded discussions that are based on an analysis of speech acts and course topics. The context is an u...
Jihie Kim, Erin Shaw, Grace Chern, Roshan Herbert
171
Voted
ICECCS
2007
IEEE
111views Hardware» more  ICECCS 2007»
15 years 10 months ago
A Refinement Driven Component-Based Design
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang,...
AOSE
2006
Springer
15 years 10 months ago
Designing Institutional Multi-Agent Systems
Abstract. The vision of agents working together on the Internet, in virtual organizations, is one that is increasingly common. However, one of the issues is the regulation of the p...
Carles Sierra, John Thangarajah, Lin Padgham, Mich...
CLEAR
2006
Springer
158views Biometrics» more  CLEAR 2006»
15 years 10 months ago
Audio, Video and Multimodal Person Identification in a Smart Room
In this paper, we address the modality integration issue on the example of a smart room environment aiming at enabling person identification by combining acoustic features and 2D f...
Jordi Luque, Ramon Morros, Ainara Garde, Jan Angui...