Sciweavers

2482 search results - page 64 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
PG
2003
IEEE
14 years 1 months ago
OPENNPAR: A System for Developing, Programming, and Designing Non-Photorealistic Animation and Rendering
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
Nick Halper, Tobias Isenberg, Felix Ritter, Bert F...
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
14 years 4 days ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
DLS
2007
177views Languages» more  DLS 2007»
13 years 9 months ago
An adaptive package management system for scheme
This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distribu...
Manuel Serrano, Erick Gallesio
NMR
2004
Springer
14 years 1 months ago
Preferential defeasibility: utility in defeasible logic programming
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...
Fernando A. Tohmé, Guillermo Ricardo Simari
COMPSAC
2000
IEEE
14 years 14 days ago
GAPS: A Genetic Programming System
Genetic programming tackles the issue of how to automatically create a working computer program for a given problem from some initial problem statement. The goal is accomplished i...
Michael D. Kramer, Du Zhang