Sciweavers

7167 search results - page 179 / 1434
» Answer Set Programming
Sort
View
ALGORITHMICA
2002
89views more  ALGORITHMICA 2002»
15 years 6 months ago
Embedding Linkages on an Integer Lattice
This paper answers the following question: Given an \erector set" linkage, a connected set of xed-length links, what is the minimal needed to adjust the edge lengths so that ...
Susan Landau, Neil Immerman
IEEEPACT
2002
IEEE
15 years 11 months ago
Effective Compilation Support for Variable Instruction Set Architecture
Traditional compilers perform their code generation tasks based on a fixed, pre-determined instruction set. This paper describes the implementation of a compiler that determines ...
Jack Liu, Timothy Kong, Fred C. Chow
HCI
2007
15 years 8 months ago
Visual Agent Programming (VAP): An Interactive System to Program Animated Agents
An interactive system in which the user can program animated agents visually is introduced: the Visual Agent Programming (VAP) software provides a GUI to program life-like agents. ...
Kamran Khowaja, Sumanta Guha
DAGSTUHL
1996
15 years 7 months ago
Program Specialization via Program Slicing
This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is dif...
Thomas W. Reps, Todd Turnidge
ASM
2008
ASM
15 years 8 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright