2448 search results - page 174 / 490 » The Octahedron Abstract Domain |
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
IPL
2007
14 years 11 months ago
2007
Abstract. The Semiring Constraint Satisfaction Problem (SCSP) framework is a popular approach for the representation of partial constraint satisfaction problems. In this framework ...
ACTA
2004
14 years 11 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
AEI
2004
14 years 11 months ago
2004
atterns specify generic relations among abstract design elements. We hypothesize that design patterns are productive units of analogical transfer in design. We describe a normativ...
SMC
2010
IEEE
14 years 9 months ago
2010
IEEE
—We outline SoftFacts, an ontology mediated top-k information retrieval system over relational databases. An ontology layer is used to define (in terms of a OWL-QL like Semantic...