1791 search results - page 299 / 359 » Using Open Hypermedia to Support Information Integration |
147
click to vote
CEFP
2007
Springer
15 years 6 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 ...
99
Voted
SIGMOD
2010
ACM
15 years 5 months 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...
146
Voted
ECLIPSE
2007
ACM
15 years 4 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...
101
Voted
ICCS
2000
Springer
15 years 4 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 ...
118
click to vote
AAAI
2007
15 years 2 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...