16216 search results - page 149 / 3244 » Effective Modeling with Constraints |
200
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
153
click to vote
KBSE
2008
IEEE
16 years 27 days ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
168
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...
174
click to vote
ICCS
2007
Springer
16 years 20 days ago
2007
Springer
Traditional association rules mining (ARM) only concerns the frequency of itemsets, which may not bring large amount of profit. Utility mining only focuses on itemsets with high ut...
