4763 search results - page 310 / 953 » On the Execution of Deep Models |
177
click to vote
MATES
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
164
click to vote
OTM
2004
Springer
16 years 4 days ago
2004
Springer
UN/CEFACT’s Modeling Methodology (UMM) has been developed to analyze and design B2B business processes independent of the underlying exchange technology. It became the methodolog...
164
click to vote
PADL
2004
Springer
16 years 4 days ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
171
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
207
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...