Sciweavers

918 search results - page 46 / 184
» e-Procurement Using Goal Programming
Sort
View
ICRA
1999
IEEE
119views Robotics» more  ICRA 1999»
14 years 29 days ago
Programming in the Architecture for Agile Assembly
The goal of the Architecture for Agile Assembly AAA is to enable rapid deployment and recon guration of automated assembly systems through the use of cooperating, modular, robust,...
Jay Gowdy, Alfred A. Rizzi
ICLP
1993
Springer
14 years 23 days ago
Control Generation for Logic Programs
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
Stefan Lüttringhaus-Kappel
PEPM
1992
ACM
14 years 22 days ago
Self-applicable C Program Specialization
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...
Lars Ole Andersen
ICLP
2010
Springer
14 years 17 days ago
Methods and Methodologies for Developing Answer-Set Programs - Project Description
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
IIE
2006
81views more  IIE 2006»
13 years 8 months ago
Various Utilizations of an Open-Source Program Visualization Tool, Jeliot 3
In this paper, we present an open-source program visualization tool, Jeliot 3. We discuss the design principles and philosophy that gave rise to this successful e-learning tool and...
Roman Bednarik, Andrés Moreno, Niko Myller