Sciweavers

4944 search results - page 144 / 989
» From XML to Relational Models
Sort
View
AIMSA
2000
Springer
15 years 8 months ago
Least Generalization under Relative Implication
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
Svetla Boytcheva
CHI
2009
ACM
15 years 7 months ago
Connecting the dots with related notes
During visual analysis, users must often connect insights discovered at various points of time to understand implicit relations within their analysis. This process is often called...
Yedendra Babu Shrinivasan, David Gotz
TRS
2008
15 years 3 months ago
Generalized Indiscernibility Relations: Applications for Missing Values and Analysis of Structural Objects
In this paper, we discuss an approach to structural objects based on a generalisation of indiscernibility relation used in rough set theory. The existing results in rough set theor...
Wojciech Jaworski
LICS
2009
IEEE
15 years 10 months ago
Logical Step-Indexed Logical Relations
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
Derek Dreyer, Amal Ahmed, Lars Birkedal
DAGSTUHL
2010
15 years 5 months ago
A Survey of Visualization Methods for Special Relativity
This paper provides a survey of approaches for special relativistic visualization. Visualization techniques are classified into three categories: Minkowski spacetime diagrams, dep...
Daniel Weiskopf