834 search results - page 94 / 167 » A Decomposition Technique for Max-CSP |
147
click to vote
ICDM
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper, we propose a text representation model, Tensor Space Model (TSM), which models the text by multilinear algebraic high-order tensor instead of the traditional vector...
178
click to vote
ICMCS
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper an optimized and efficient technique for keyframes extraction of video sequences is proposed, which leads to selection of a meaningful set of video frames for each g...
178
click to vote
QSIC
2005
IEEE
15 years 12 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
156
click to vote
CASSIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
183
click to vote
DIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This work focuses on the active selection of pairwise constraints for spectral clustering. We develop and analyze a technique for Active Constrained Clustering by Examini...