Sciweavers

2860 search results - page 220 / 572
» The Greenfoot Programming Environment
Sort
View
ATAL
2000
Springer
15 years 11 months ago
High-Level Robot Control through Logic
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical f...
Murray Shanahan, Mark Witkowski
ENTCS
2000
109views more  ENTCS 2000»
15 years 6 months ago
Forward and Backward Chaining in Linear Logic
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
James Harland, David J. Pym, Michael Winikoff
ENTCS
2002
141views more  ENTCS 2002»
15 years 6 months ago
Graph Based Debugging with Fujaba
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...
Leif Geiger, Albert Zündorf
ETRA
2006
ACM
122views Biometrics» more  ETRA 2006»
16 years 24 days ago
Analyzing individual performance of source code review using reviewers' eye movement
This paper proposes to use eye movements to characterize the performance of individuals in reviewing source code of computer programs. We first present an integrated environment t...
Hidetake Uwano, Masahide Nakamura, Akito Monden, K...
SIGCSE
2004
ACM
110views Education» more  SIGCSE 2004»
16 years 7 days ago
An extensible framework for providing dynamic data structure visualizations in a lightweight IDE
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
T. Dean Hendrix, James H. Cross II, Larry A. Barow...