211 search results - page 26 / 43 » Reflective Programming in the Relational Algebra |
GECCO
2007
Springer
2007
Springer
Exploring medical data using visual spaces with genetic programming and implicit functional mappings
15 years 3 months ago
Two medical data sets (Breast cancer and Colon cancer) are investigated within a visual data mining paradigm through the unsupervised construction of virtual reality spaces using ...
PLDI
2011
ACM
14 years 14 days ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
187
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
QR decomposition is a computationally intensive linear algebra operation that factors a matrix A into the product of a unitary matrix Q and upper triangular matrix R. Adaptive sys...
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
98
Voted
DM
2007
14 years 9 months ago
2007
Switch-setting games like Lights Out are typically modelled as a graph, where the vertices represent switches and lamps, and the edges capture the switching rules. We generalize t...