Sciweavers

10707 search results - page 400 / 2142
» Designing executable abstractions
Sort
View
AIED
2005
Springer
15 years 10 months ago
Design of Erroneous Examples for ACTIVEMATH
Abstract. The behaviorist view of learning that informs much of traditional schooling is not likely to invite students and teachers to see errors in a positive light. This is parti...
Erica Melis
129
Voted
CICLING
2005
Springer
15 years 10 months ago
Design and Development of a System for the Detection of Agreement Errors in Basque
This paper presents the design and development of a system for the detection and correction of syntactic errors in free texts. The system is composed of three main modules: a) a ro...
Arantza Díaz de Ilarraza Sánchez, Ko...
E4MAS
2005
Springer
15 years 10 months ago
An Environment-Based Methodology to Design Reactive Multi-agent Systems for Problem Solving
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...
Olivier Simonin, Franck Gechter
GI
2005
Springer
15 years 10 months ago
Design by Contract zur semantischen Beschreibung von Web Services
Abstract: Die Vision von Web Services ist, dass ein Service Requestor einen Service Provider dynamisch finden und binden kann. Für das Finden eines Web Services müssen die Anford...
Gregor Engels, Marc Lohmann, Stefan Sauer
ICA3PP
2005
Springer
15 years 10 months ago
Object-Oriented Design and Implementations of 3G-324M Protocol Stack
Abstract. This paper describes an object-oriented design and efficient implementation of 3G-324M protocol stack for real-time multimedia transmission. In particular, we discuss the...
Weijia Jia, Haohuan Fu, Ji Shen