4052 search results - page 404 / 811 » integration 2007 |
206
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...
168
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Knowledge workers making sense of a topic divide their time among activities including searching for information, reading, and taking notes. We have built a software system that s...
147
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
CogTool-Explorer is a tool to predict user exploration choices given a user interface and task. We describe the integration of components that make up CogToolExplorer, and how it ...
195
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
194
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...