Sciweavers

1636 search results - page 93 / 328
» Type-Theoretic Functional Semantics
Sort
View
AMW
2009
15 years 4 months ago
Semantic Integrity Constraints for Spatial Databases
Abstract. This paper introduces a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional n...
Loreto Bravo, M. Andrea Rodríguez
126
Voted
KES
2008
Springer
15 years 3 months ago
A Semantic Language for Querying Anonymous Web Sources
A great deal of work has been carried out in recent years to facilitate access to data and information available on the Web. Proposals converge in two additional areas which consis...
Francois Pinet, Michel Schneider
ENTCS
2007
86views more  ENTCS 2007»
15 years 3 months ago
Sequentiality and the CPS Semantics of Fresh Names
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...
James Laird
126
Voted
IJMSO
2007
106views more  IJMSO 2007»
15 years 3 months ago
A Semantic Web system for supporting teachers using ontology alignment
: In Japan, it is important to provide teachers of Information Technology Education (IT) with a powerful help system that can locate and provide access to a variety of useful infor...
Toshinobu Kasai, Haruhisa Yamaguchi, Kazuo Nagano,...
150
Voted
EMNLP
2010
15 years 1 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