Sciweavers

2492 search results - page 113 / 499
» An Integrated Rule Modeling Framework
Sort
View
KRDB
1996
123views Database» more  KRDB 1996»
15 years 6 months ago
Flexible Query-Answering Systems Modelled in Metalogic Programming
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
Troels Andreasen, Henning Christiansen
154
Voted
WECWIS
2007
IEEE
98views ECommerce» more  WECWIS 2007»
15 years 11 months ago
Semantic SOA to Promote Integration of Heterogeneous B2B Services
Modeling the semantics of business services and their corresponding messages using ontologies enables flexible integration that is more adaptive to business-driven change. In thi...
Tomas Vitvar, Matthew Moran, Maciej Zaremba, Armin...
ICSE
2008
IEEE-ACM
16 years 5 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
ER
1995
Springer
152views Database» more  ER 1995»
15 years 8 months ago
A Logic Framework for a Semantics of Object-Oriented Data Modeling
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
Olga De Troyer, Robert Meersman
156
Voted
ACL
2006
15 years 6 months ago
Left-to-Right Target Generation for Hierarchical Phrase-Based Translation
We present a hierarchical phrase-based statistical machine translation in which a target sentence is efficiently generated in left-to-right order. The model is a class of synchron...
Taro Watanabe, Hajime Tsukada, Hideki Isozaki