5302 search results - page 181 / 1061 » Learning How to Separate |
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Triple20 is a ontology manipulation and visualization tool for languages built on top of the Semantic-Web RDF triple model. In this article we explain how a triple-centered design ...
128
click to vote
EDBT
1998
ACM
15 years 8 months ago
1998
ACM
In this paper we present MD, a logical model for OLAP systems, and show how it can be used in the design of multidimensional databases. Unlike other models for multidimensional dat...
140
click to vote
ACL
2007
15 years 5 months ago
2007
Topic segmentation and identification are often tackled as separate problems whereas they are both part of topic analysis. In this article, we study how topic identification can...
147
Voted
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
163
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Graph matching is an important problem in computer
vision. It is used in 2D and 3D object matching and recognition.
Despite its importance, there is little literature on
learnin...