Sciweavers

1529 search results - page 52 / 306
» On the Construction of Ontologies based on Natural Language ...
Sort
View
EMNLP
2010
15 years 4 months ago
Nouns are Vectors, Adjectives are Matrices: Representing Adjective-Noun Constructions in Semantic Space
We propose an approach to adjective-noun composition (AN) for corpus-based distributional semantics that, building on insights from theoretical linguistics, represents nouns as ve...
Marco Baroni, Roberto Zamparelli
HASKELL
2005
ACM
15 years 11 months ago
Verifying haskell programs using constructive type theory
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...
OTM
2010
Springer
15 years 4 months ago
Semantic Support for Computer-Human Interaction: Intuitive 3DVirtual Tools for Surface Deformation in CAD
Decision making is tightly related to the understanding of the design and manufacturing practices. In our previous work, we proposed an intuitive approach for geometric modeling in...
Ioana Ciuciu, Robert Meersman, Estelle Perrin, Fr&...
SIS
2007
15 years 7 months ago
An Ontology for the Expression of Intellectual Property Entities and Relations
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
Víctor Rodríguez-Doncel, Marc Gauvin...
WWW
2003
ACM
16 years 6 months ago
A software framework for matchmaking based on semantic web technology
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
Lei Li, Ian Horrocks