Sciweavers

6149 search results - page 340 / 1230
» Revealing the programming process
Sort
View
CSUR
1999
137views more  CSUR 1999»
15 years 6 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
PRL
2002
213views more  PRL 2002»
15 years 6 months ago
Character preclassification based on genetic programming
This paper presents a learning system that uses genetic programming as a tool for automatically inferring the set of classification rules to be used during a preclassification sta...
Claudio De Stefano, Antonio Della Cioppa, Angelo M...
IUI
2012
ACM
14 years 2 months ago
A visual programming language for designing interactions embedded in web-based geographic applications
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
The Nhan Luong, Patrick Etcheverry, Christophe Mar...
TCSB
2010
15 years 5 months ago
Modelling Self-assembly in BlenX
Abstract. The process through which disordered components spontaneously arrange themselves into patterns is called self-assembly. Molecular self-assembly describes the process by w...
Roberto Larcher, Corrado Priami, Alessandro Romane...
ICIP
2007
IEEE
16 years 8 months ago
Conditions for Color Misregistration Sensitivity in Clustered-dot Halftones
Misregistration between the color separations of a printed image, which is often inevitable, can cause objectionable color shifts in average color. We analyze the impact of inter-...
Basak Oztan, Gaurav Sharma, Robert P. Loce