9595 search results - page 401 / 1919 » Functional programming in C |
194
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...
153
click to vote
CODES
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents an Integer Linear Programming (ILP) approach to the instruction-set extension identiļ¬cation problem. An algorithm that iteratively generates and solves a set...
145
click to vote
VMCAI
2005
Springer
16 years 7 days ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ļ...
185
Voted
ICCBR
2005
Springer
16 years 6 days ago
2005
Springer
Constraint programming is a powerful paradigm that oļ¬ers many diļ¬erent strategies for solving problems. Choosing a good strategy is diļ¬cult; choosing a poor strategy wastes r...
138
click to vote
ICEC
1994
15 years 8 months ago
1994
:Rule-basedsystemsused for OpticalCharacterRecognition (OCR)are notoriously difficultto write,maintain,and upgrade. Thispaperdescribesa method forusing Genetic Programming(GP) to e...