Export 42 results:
Sort by: Author Keyword Title [ Type  (Desc)] Year
Filters: First Letter Of Title is P  [Clear All Filters]
Conference Paper
Ehrich, H. - D., "Proving Implementations Correct - Two Alternative Approaches", IFIP Congress 1980: North-Holland Publ. Comp., 1980. Abstract  Download: 1980IFIP.pdf (384.86 KB)
Selke, J., C. Lofi, and W. - T. Balke, "Pushing the Boundaries of Crowd-Enabled Databases with Query-Driven Schema Expansion", 38th Int. Conf. on Very Large Data Bases (VLDB), Istanbul, Turkey, in PVLDB 5(6) , 08/12, 2012. Abstract  Download: 267_camera-ready-v3.pdf (1.25 MB)
Homoceanu, S., J. - C. Kalo, and W. - T. Balke, "Putting Instance Matching to the Test. Is Instance Matching Ready for Reliable Data Linking?", 21st International Symposium on Methodologies for Intelligent Systems (ISMIS), Roskilde, Denmark, 2014. Abstract  Download: ismis_homoceanu.pdf (832.92 KB)