164 search results - page 12 / 33 » Feature Descriptions for Context-oriented Programming |
CIE
2008
Springer
13 years 9 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
CGVR
2008
13 years 8 months ago
2008
- In this paper, we describe a 3D modeling program called RMBL3D, Realistic Maps Built like Legos, which manipulates the architectural repetition in building structures to produce ...
INTERACTIONS
2010
13 years 4 months ago
2010
s from a concrete to a new abstract level of description [1]. Rises in abstraction level happen regularly in all fields, but the key difference in Alexander's work was that ra...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Nitrogen is one of the most important chemical intakes to ensure the healthy growth of agricultural crops. However, some environmental concerns emerge (soil and water pollution) w...
RSEISP
2007
Springer
14 years 1 months ago
2007
Springer
This paper concerns the development of a new direction in machine learning, called natural induction, which requires from computergenerated knowledge not only to have high predicti...