1341 search results - page 90 / 269 » Logic for Modeling Product Structure |
171
click to vote
AGP
2003
IEEE
15 years 10 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
140
click to vote
AAAI
1997
15 years 6 months ago
1997
Markov Decision Processes (MDPs), currently a popular method for modeling and solving decision theoretic planning problems, are limited by the Markovian assumption: rewards and dy...
148
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
110
click to vote
VLDB
1990
ACM
15 years 9 months ago
1990
ACM
In this paper we describe a new language for statistical data modelling, which offers a general framework for the representation of elementary and summarydata.Thereare threemain c...
152
click to vote
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
Future business applications will often have more than 2,000 forms and need to target several user interface (UI) technologies including: Web Browsers, Windows® Applications, PDA...