Sciweavers

4126 search results - page 432 / 826
» Relationships with other Formalisms
Sort
View
CATA
2003
15 years 8 months ago
Visualizing Query Structure
Visualization research seeks to exploit the human user’s ability to interpret graphical representations of data in order to provide insight into properties of the data that may ...
Dennis P. Groth
178
Voted
FLAIRS
2001
15 years 8 months ago
Validity of First-Order Knowledge Bases
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...
John K. Debenham
DGO
2003
113views Education» more  DGO 2003»
15 years 8 months ago
Resolving Schema and Value Heterogeneities for XML Web Querying
To query XML data over the Web, query engines need to be able to resolve semantic differences between heterogeneous attributes that are conceptually similar. This demo presents a ...
Nancy Wiegand, Naijun Zhou, Stephen J. Ventura, Is...
DLT
2003
15 years 8 months ago
Frequency of Symbol Occurrences in Simple Non-primitive Stochastic Models
We study the random variable Yn representing the number of occurrences of a given symbol in a word of length n generated at random. The stochastic model we assume is a simple non-e...
Diego de Falco, Massimiliano Goldwurm, Violetta Lo...
FLAIRS
2003
15 years 8 months ago
A Graph Based Synthesis Algorithm for Solving CSPs
Many AI tasks can be formalized as constraint satisfaction problems (CSPs), which involve finding values for variables subject to a set of constraints. While solving a CSP is an ...
Wanlin Pang, Scott D. Goodwin