Sciweavers

3836 search results - page 253 / 768
» Semantics of Database Transformations
Sort
View
ICMCS
2000
IEEE
79views Multimedia» more  ICMCS 2000»
15 years 9 months ago
From Features to Semantics: Some Preliminary Results
In this paper, we present the results of a project that seeks to transform low-level features to a higher level of meaning. This project concerns a technique, latent semantic anal...
Rong Zhao, William I. Grosky
CSL
1995
Springer
15 years 8 months ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle
WEBI
2004
Springer
15 years 10 months ago
Using Semantic Graphs in Clustering Process : Enhance Information Level
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...
Jean-Sébastien Brunner, Isabelle Berrien
AAAI
1997
15 years 5 months ago
Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
Rahul Roy-Chowdhury, Mukesh Dalal
IJAMC
2007
114views more  IJAMC 2007»
15 years 4 months ago
Integration of rules and policies for Semantic Web Services
: Multimedia service providers on the web need their services to be well protected and easily accessible worldwide. This has initiated several lines of research to provide semantic...
Nima Kaviani, Dragan Gasevic, Marek Hatala, David ...