3225 search results - page 71 / 645 » Compiling Experience into Knowledge |
142
click to vote
HASKELL
2007
ACM
15 years 5 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
109
click to vote
PREMI
2009
Springer
15 years 8 months ago
2009
Springer
This paper proposes a navigational method for mining by collecting evidences from diverse data sources. Since the representation method and even semantics of data elements differ w...
ECTEL
2007
Springer
15 years 8 months ago
2007
Springer
As a frame of reference I will discuss the present situation in Norway where new national curriculum states that digital literacy is as important as reading, writing and numeracy....
HOTOS
2009
IEEE
15 years 5 months ago
2009
IEEE
In this position paper, we argue that an important piece of the system administration puzzle has largely been left untouched by researchers. This piece involves mechanisms and pol...
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...