10891 search results - page 117 / 2179 » Combining Model Reductions |
144
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
133
click to vote
KDD
2009
ACM
16 years 3 months ago
2009
ACM
Collaborative filtering is the most popular approach to build recommender systems and has been successfully employed in many applications. However, it cannot make recommendations ...
118
click to vote
COLING
2010
14 years 10 months ago
2010
We present a theoretical and empirical comparative analysis of the two dominant categories of approaches in Chinese word segmentation: word-based models and character-based models...
150
click to vote
INTERSPEECH
2010
14 years 10 months ago
2010
Statistical user simulation is an efficient and effective way to train and evaluate the performance of a (spoken) dialog system. In this paper, we design and evaluate a modular da...
133
click to vote
ECBS
2008
IEEE
15 years 9 months ago
2008
IEEE
System execution modeling (SEM) tools provide an effective means to evaluate the quality of service (QoS) of enterprise distributed real-time and embedded (DRE) systems. SEM tools...