834 search results - page 94 / 167 » A Decomposition Technique for Max-CSP |
ICDM
2005
IEEE
14 years 3 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...
ICMCS
2005
IEEE
14 years 3 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...
QSIC
2005
IEEE
14 years 3 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...
CASSIS
2005
Springer
14 years 3 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...
DIS
2005
Springer
14 years 3 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...