687 search results - page 6 / 138 » Feature (De)composition in Functional Programming |
232
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
137
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
181
click to vote
ISVC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We propose an improved shape matching algorithm that extends the work of Felzenszwalb [3]. In this approach, we use triangular meshes to represent deformable objects and ...
151
click to vote
EUROGP
2005
Springer
15 years 10 months ago
2005
Springer
We describe an approach to understanding evolved programs for a real world object detection problem, that of finding orthodontic landmarks in cranio-facial X-Rays. The approach in...
135
Voted
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...