1791 search results - page 299 / 359 » Using Open Hypermedia to Support Information Integration |
CEFP
2007
Springer
14 years 2 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
SIGMOD
2010
ACM
14 years 26 days ago
2010
ACM
It has long been observed that database management systems focus on traditional business applications, and that few people use a database management system outside their workplace...
ECLIPSE
2007
ACM
13 years 12 months ago
2007
ACM
Designing and testing distributed applications is still a difficult task that requires in-depth knowledge about networking issues. Eclipse is, among other things, a powerful and w...
ICCS
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical ...
AAAI
2007
13 years 10 months ago
2007
How should a robot represent and reason about spatial information when it needs to collaborate effectively with a human? The form of spatial representation that is useful for robo...