Sciweavers

3429 search results - page 196 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
119
Voted
VLDB
2007
ACM
110views Database» more  VLDB 2007»
15 years 8 months ago
GeRoMeSuite: A System for Holistic Generic Model Management
Manipulation of models and mappings is a common task in the design and development of information systems. Research in Model Management aims at supporting these tasks by providing...
David Kensche, Christoph Quix, Xiang Li 0002, Yong...
255
Voted
ICLP
2009
Springer
16 years 3 months ago
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
Miroslaw Truszczynski
PADL
2009
Springer
16 years 3 months ago
Layered Models Top-Down Querying of Normal Logic Programs
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
Alexandre Miguel Pinto, Luís Moniz Pereira
166
Voted
JMLR
2012
13 years 5 months ago
Fast interior-point inference in high-dimensional sparse, penalized state-space models
We present an algorithm for fast posterior inference in penalized high-dimensional state-space models, suitable in the case where a few measurements are taken in each time step. W...
Eftychios A. Pnevmatikakis, Liam Paninski
117
Voted
SIGMOD
2003
ACM
115views Database» more  SIGMOD 2003»
16 years 2 months ago
Rondo: A Programming Platform for Generic Model Management
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
Sergey Melnik, Erhard Rahm, Philip A. Bernstein