77016 search results - page 19 / 15404 » Modeling Modeling |
132
click to vote
JAIR
2008
15 years 2 months ago
2008
This paper proposes and experimentally validates a Bayesian network model of a range finder adapted to dynamic environments. All modeling assumptions are rigorously explained, and...
106
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
117
click to vote
DKE
2007
15 years 2 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
102
Voted
ECMDAFA
2006
Springer
15 years 5 months ago
2006
Springer
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...