2152 search results - page 132 / 431 » On Automating the Calculus of Relations |
111
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
104
click to vote
TPHOL
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
118
Voted
PUC
2010
14 years 11 months ago
2010
Abstract Location awareness can help facilitate a rendezvous of two or more persons. To further enhance the rendezvous experience, we conducted two complementary field studies to ...
107
Voted
JAMIA
2010
14 years 7 months ago
2010
Clinical coding and classification processes transform natural language descriptions in clinical text into data that can subsequently be used for clinical care, research, and othe...
116
Voted
ECMDAFA
2010
Springer
15 years 5 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...