Sciweavers

284 search results - page 26 / 57
» Formal Foundation for Pattern-Based Modelling
Sort
View
KR
1998
Springer
15 years 4 months ago
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
Fausto Giunchiglia, Chiara Ghidini
DKE
2007
99views more  DKE 2007»
15 years 15 days ago
Modeling and language support for the management of pattern-bases
In our days knowledge extraction methods are able to produce artifacts (also called patterns) that concisely represent data. Patterns are usually quite heterogeneous and require a...
Manolis Terrovitis, Panos Vassiliadis, Spiros Skia...
104
Voted
DOOD
1995
Springer
102views Database» more  DOOD 1995»
15 years 4 months ago
Active Database Rules with Transaction-Conscious Stable-Model Semantics
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
Carlo Zaniolo
95
Voted
HICSS
1995
IEEE
82views Biometrics» more  HICSS 1995»
15 years 4 months ago
A graph-theoretic data model for genome mapping databases
Graphs are a natural foundation for genome map databases. Mapping and other genomic data can be clearly represented by graphs, and graphs can be stored in a database. Graphs are d...
Mark Graves, Ellen R. Bergeman, Charles B. Lawrenc...
78
Voted
IJCAI
2007
15 years 2 months ago
Model-Based Optimization of Testing through Reduction of Stimuli
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
Peter Struss