Sciweavers

640 search results - page 58 / 128
» Reasoning About Web-Site Structure
Sort
View
ICDE
1997
IEEE
112views Database» more  ICDE 1997»
15 years 15 days ago
WOL: A Language for Database Transformations and Constraints
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...
Susan B. Davidson, Anthony Kosky
LORI
2009
Springer
14 years 5 months ago
An Update Operator for Strategic Ability
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involvi...
Paolo Turrini, Jan Broersen, Rosja Mastop, John-Ju...
SEMWEB
2007
Springer
14 years 5 months ago
An Event-Based Approach for Semantic Metadata Interoperability
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
Tuukka Ruotsalo, Eero Hyvönen
AUSAI
1997
Springer
14 years 3 months ago
On the Relation between Interpreted Systems and Kripke Models
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
Alessio Lomuscio, Mark Ryan
IWPC
2009
IEEE
14 years 5 months ago
Vector space analysis of software clones
In this paper, we introduce a technique for applying Independent Component Analysis to vector space representations of software code fragments such as methods or blocks. The dista...
Scott Grant, James R. Cordy