7167 search results - page 1016 / 1434 » Answer Set Programming |
125
click to vote
ICNC
2009
Springer
15 years 10 months ago
2009
Springer
—With the aim to minimize boarding time and devise procedures for boarding strategies, this paper develop the synthesis of Improved Genetic Algorithms and simulation. This paper ...
114
click to vote
IFM
2009
Springer
15 years 10 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
137
click to vote
LION
2009
Springer
15 years 10 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
116
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
121
click to vote
CIBSE
2009
ACM
15 years 10 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...