Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
16
GraphLog: a Visual Formalism for Real Life Recursion
- In Proceedings of the Ninth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems
, 1990
"... We present a query language called GraphLog, based on a graph representation of both data and queries. Queries are graph patterns. Edges in queries represent edges or paths in the database. Regular expressions are used to qualify these paths. We characterize the expressive power of the language a ..."
Abstract
-
Cited by 193 (18 self)
- Add to MetaCart
aggregates and path summarization, and describe briefly our current prototype implementation. 1 Introduction The literature on theoretical and computational aspects of deductive databases, and the additional power they provide in defining and querying data, has grown rapidly in recent years. Much less
Efficient Evaluation of Visual Queries Using Deductive Databases
, 1995
"... We report on the efficiency of queries formulated with the Hy + /GraphLog data visualization system, a substantial application which utilizes the CORAL deductive database system. Hy + itself has been used in a number of application areas, including software engineering, network management, and t ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
We report on the efficiency of queries formulated with the Hy + /GraphLog data visualization system, a substantial application which utilizes the CORAL deductive database system. Hy + itself has been used in a number of application areas, including software engineering, network management
Deductive Database Support for Data Visualization
, 1993
"... . We describe how deductive database technology can support data visualization. In particular we show how we have used the deductive languages LDL and CORAL for the implementation of the visual query language GraphLog. We discuss in detail the translation function from GraphLog to each of LDL and CO ..."
Abstract
-
Cited by 5 (4 self)
- Add to MetaCart
. We describe how deductive database technology can support data visualization. In particular we show how we have used the deductive languages LDL and CORAL for the implementation of the visual query language GraphLog. We discuss in detail the translation function from GraphLog to each of LDL
Haystack: A Platform for Creating, Organizing and Visualizing Information Using RDF. Semantic Web Workshop
, 2002
"... The Resource Definition Framework (RDF) is designed to support agent communication on the Web, but it is also suitable as a framework for modeling and storing personal information. Haystack is a personalized information repository that employs RDF in this manner. This flexible semistructured data mo ..."
Abstract
-
Cited by 95 (26 self)
- Add to MetaCart
model is appealing for several reasons. First, RDF supports ontologies created by the user and tailored to the user’s needs. At the same time, system ontologies can be specified and evolved to support a variety of high-level functionalities such as flexible organization schemes, semantic querying
Querying GIS with Animated Spatial Sketches
- In 1997 IEEE Symposium on Visual Languages
, 1997
"... We present the design of the visual query system VISCO that offers a sketch-based query language for defining approximate spatial constellations of objects. VISCO smoothly integrates geometrical and topological querying with deductive spatial reasoning. It is based on a strong physical metaphor visu ..."
Abstract
-
Cited by 16 (6 self)
- Add to MetaCart
We present the design of the visual query system VISCO that offers a sketch-based query language for defining approximate spatial constellations of objects. VISCO smoothly integrates geometrical and topological querying with deductive spatial reasoning. It is based on a strong physical metaphor
Event modeling and recognition using markov logic networks
- IN ECCV
, 2008
"... We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited to overcome them. The knowledge is represented as first-order logic production rules with associated weights to indicate their con ..."
Abstract
-
Cited by 83 (4 self)
- Add to MetaCart
their confidence. These rules are used in combination with a relaxed deduction algorithm to construct a network of grounded atoms, the Markov Logic Network. The network is used to perform probabilistic inference for input queries about events of interest. The system’s performance is demonstrated on a number
Model-Driven Visual Analytics
"... We describe a Visual Analytics (VA) infrastructure, rooted on techniques in machine learning and logic-based deductive reasoning that will assist analysts to make sense of large, complex data sets by facilitating the generation and validation of models representing relationships in the data. We use ..."
Abstract
-
Cited by 15 (2 self)
- Add to MetaCart
We describe a Visual Analytics (VA) infrastructure, rooted on techniques in machine learning and logic-based deductive reasoning that will assist analysts to make sense of large, complex data sets by facilitating the generation and validation of models representing relationships in the data. We use
AN EFFECTIVE IMAGE REPRESENTATION FOR VISUAL INFORMATION RETRIEVAL
"... This paper presents an agent-oriented approach to visual information retrieval. A newdatamodelis introduced to represent image content in a top-down fashion and a deductive agent-oriented database structure is proposed to facilitate visual information representation, indexing, query, searching and m ..."
Abstract
- Add to MetaCart
This paper presents an agent-oriented approach to visual information retrieval. A newdatamodelis introduced to represent image content in a top-down fashion and a deductive agent-oriented database structure is proposed to facilitate visual information representation, indexing, query, searching
An executable Graphical Representation of Mediatory Information systems
- In 12th IEEE International Conference on Data Engineering
, 1996
"... In this paper we present an approach towards a unified modeling and query-processing tool for mediatory information systems. Based upon Coloured Petri-nets we are able to model the integration of parametric data (external, uncertain and temporal informations) and visualize the dataflow in mediato ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
in mediatory information systems. Keywords: Coloured Petri-nets, Interoperable federated systems, Parametric Databases, Deductive Databases 1 Introduction With the transition from isolated to cooperating information systems there is an urgent need for sound computational query-processing with a diversity
POUR L'OBTENTION DU GRADE DE DOCTEUR ÈS SCIENCES PAR
"... 2010 to my wife, Joyce, and my family...- Résumé- ..."
Results 1 - 10
of
16
