Sciweavers

2226 search results - page 115 / 446
» Pdk: The System and Its Language
Sort
View
AIED
2005
Springer
15 years 12 months ago
Positive and negative verbal feedback for Intelligent Tutoring Systems
Abstract. We built three different versions of an ITS on a letter pattern extrapolation task: in one version, students only receive color-coded feedback; in the second, they receiv...
Barbara Di Eugenio, Xin Lu, Trina C. Kershaw, Andr...
AWIC
2005
Springer
15 years 12 months ago
Towards a Multilingual QA System Based on the Web Data Redundancy
This paper explores the feasibility of a multilingual question answering approach based on the Web redundancy. The paper introduces a system prototype that combines a translation m...
Rita M. Aceves-Pérez, Luis Villaseño...
WETICE
2003
IEEE
15 years 11 months ago
Policy Storage for Role-Based Access Control Systems
Role-based access control has been a focal area for many security researchers over the last decade. There have been a large number of models, and many rich specification language...
András Belokosztolszki, David M. Eyers, Wei...
IJCAI
1989
15 years 7 months ago
Bidirectional Use of Knowledge in the Multi-modal NL Access System XTRA
The acceptability and effectiveness of an expert system is critically dependent on its user interface. Natural language could be a well-suited communicative medium; however, curre...
Jürgen Allgayer, Roman M. Jansen-Winkeln, Car...
APSEC
1997
IEEE
15 years 10 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu