Sciweavers

7961 search results - page 426 / 1593
» Input-Output Model Programs
Sort
View
EUROPLOP
2006
15 years 7 months ago
Relationship Aspect Patterns
Relationships between objects are almost as important to designs as the objects themselves. Most programming languages do not support relationships well, so programmers must imple...
David J. Pearce, James Noble
AAAI
1996
15 years 7 months ago
Generating Multiple New Designs From a Sketch
We describe a program called SketchIT that transforms a single sketch of a mechanical device into multiple families of new designs. It represents each of these families with a &qu...
Thomas F. Stahovich, Randall Davis, Howard E. Shro...
AMAI
2007
Springer
15 years 6 months ago
Partial equilibrium logic
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
Pedro Cabalar, Sergei P. Odintsov, David Pearce, A...
148
Voted
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
166
Voted
ML
2000
ACM
15 years 6 months ago
Multistrategy Discovery and Detection of Novice Programmer Errors
Detecting and diagnosing errors in novice behavior is an important student modeling task. In this paper, we describe MEDD, an unsupervised incremental multistrategy system for the ...
Raymund Sison, Masayuki Numao, Masamichi Shimura