975 search results - page 30 / 195 » Using language as related stimuli for concept generation |
FLOPS
2010
Springer
14 years 2 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
DALT
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cogni...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
FLAIRS
2003
13 years 9 months ago
2003
The goal of our work is to improve the Natural Language feedback provided by Intelligent Tutoring Systems. In this paper, we discuss how to make the content presented by one such ...
JAVA
2000
Springer
13 years 11 months ago
2000
Springer
We describe a system for gathering and analyzing Java trace data. The system provides relatively complete data collection from large Java systems. It also provides a variety of di...