Sciweavers

1614 search results - page 17 / 323
» Polymorphism and Genetic Programming
Sort
View
GPCE
2003
Springer
15 years 2 months ago
Concept-Controlled Polymorphism
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
Jaakko Järvi, Jeremiah Willcock, Andrew Lumsd...
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
15 years 1 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
SAS
1991
Springer
15 years 1 months ago
Polymorphic Time Systems for Estimating Program Complexity
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
Vincent Dornic, Pierre Jouvelot, David K. Gifford
ICIAR
2007
Springer
15 years 1 months ago
Processing Random Amplified Polymorphysm DNA Images Using the Radon Transform and Mathematical Morphology
Abstract. Random Amplified Polymorphism DNA (RAPD) analysis is a wellknown method for studying genetic relationships between individuals. In this context, processing the underlying...
Luis Rueda, Omar Uyarte, Sofia Valenzuela, Jaime R...