Sciweavers

7167 search results - page 179 / 1434
» Answer Set Programming
Sort
View
ALGORITHMICA
2002
89views more  ALGORITHMICA 2002»
13 years 9 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
14 years 2 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
13 years 10 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
13 years 10 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
13 years 11 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