1565 search results - page 217 / 313 » cluster 2006 |
109
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
CIKM
2006
Springer
15 years 1 months ago
2006
Springer
Text segmentation is important for text analysis, while text alignment is to determine shared sub-topics among similar documents. Multi-task text segmentation and alignment is the...
CIVR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper presents novel dissimilarity space specially designed for interactive multimedia retrieval. By providing queries made of positive and negative examples, the go...
DAWAK
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Automatic image annotation has been becoming an attractive research subject. Most current image annotation methods are based on training techniques. The major weaknesses ...
DSOM
2006
Springer
15 years 1 months ago
2006
Springer
This paper proposes an open, extensible control plane for a global event service, based on semantically rich messages. This is based on the novel application of control plane separ...