908 search results - page 113 / 182 » Generating maximal models using the stable model semantics |
140
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
156
click to vote
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
Most highly accurate predictive modeling techniques produce opaque models. When comprehensible models are required, rule extraction is sometimes used to generate a transparent mod...
136
click to vote
WINE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study the use of viral marketing strategies on social networks that seek to maximize revenue from the sale of a single product. We propose a model in which the decisio...
150
click to vote
ECBS
1999
IEEE
15 years 8 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
142
click to vote
JUCS
2008
15 years 4 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...