4814 search results - page 76 / 963 » Combining abstract interpreters |
FORMATS
2010
Springer
13 years 8 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
ICST
2008
IEEE
14 years 4 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
ICDM
2005
IEEE
14 years 3 months ago
2005
IEEE
Combining multiple clusterings arises in various important data mining scenarios. However, finding a consensus clustering from multiple clusterings is a challenging task because ...
CIKM
2008
Springer
13 years 12 months ago
2008
Springer
Statistical topic models provide a general data-driven framework for automated discovery of high-level knowledge from large collections of text documents. While topic models can p...
UAI
2003
13 years 11 months ago
2003
Collaborative filtering (CF) and contentbased filtering (CBF) have widely been used in information filtering applications, both approaches having their individual strengths and...