10891 search results - page 303 / 2179 » Combining Model Reductions |
117
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Random Indexing K-tree is the combination of two algorithms suited for large scale document clustering. Keywords Random Indexing, K-tree, Dimensionality Reduction, B-tree, Search T...
110
click to vote
TCAD
2008
15 years 4 months ago
2008
ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for sc...
113
click to vote
FEGC
2009
15 years 2 months ago
2009
We develop an efficient algorithm for detecting frequent patterns that occur in sequence databases under certain constraints. By combining the use of bit vector representations of ...
121
click to vote
COLING
2010
14 years 11 months ago
2010
We go beyond simple propositional meaning extraction and present experiments in determining which propositions in text the author believes. We show that deep syntactic parsing hel...
150
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...