Sciweavers

2448 search results - page 174 / 490
» The Octahedron Abstract Domain
Sort
View
SIGIR
2008
ACM
13 years 8 months ago
Measuring concept relatedness using language models
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
Dolf Trieschnigg, Edgar Meij, Maarten de Rijke, We...
IPL
2007
71views more  IPL 2007»
13 years 8 months ago
Relaxations of semiring constraint satisfaction problems
Abstract. The Semiring Constraint Satisfaction Problem (SCSP) framework is a popular approach for the representation of partial constraint satisfaction problems. In this framework ...
Louise Leenen, Thomas Andreas Meyer, Aditya Ghose
ACTA
2004
86views more  ACTA 2004»
13 years 8 months ago
Specification transformers: a predicate transformer approach to composition
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 ...
Michel Charpentier, K. Mani Chandy
AEI
2004
78views more  AEI 2004»
13 years 8 months ago
Use of design patterns in analogy-based design
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...
Ashok K. Goel, Sambasiva R. Bhatta
SMC
2010
IEEE
124views Control Systems» more  SMC 2010»
13 years 6 months ago
SoftFacts: A top-k retrieval engine for ontology mediated access to relational databases
—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...
Umberto Straccia