Sciweavers

694 search results - page 108 / 139
» A Semantic Framework for Designer Transactions
Sort
View
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
14 years 11 days ago
Ontology-Based Composition and Transformation for Model-Driven Service Architecture
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Claus Pahl
FSTTCS
2000
Springer
14 years 9 days ago
Dynamically Ordered Probabilistic Choice Logic Programming
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
Marina De Vos, Dirk Vermeir
COLING
1996
13 years 10 months ago
Modularizing Codescriptive Grammars for Efficient Parsing
Unification-based theories of grammar allow to integrate different levels of linguistic descriptions in the common framework of typed feature structures. Dependencies among the le...
Walter Kasper, Hans-Ulrich Krieger
JTRES
2010
ACM
13 years 9 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
PREMI
2009
Springer
14 years 3 months ago
A Bayesian Approach to Hybrid Image Retrieval
Content based image retrieval (CBIR) has been well studied in the computer vision and multimedia community. Content free image retrieval (CFIR) methods, and their complementary cha...
Pradhee Tandon, C. V. Jawahar