941 search results - page 134 / 189 » Mathematics on the (Semantic) NET |
115
Voted
TCS
2002
15 years 5 days ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
95
Voted
ICFP
2002
ACM
16 years 15 days ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
89
Voted
LREC
2010
15 years 2 months ago
2010
This paper presents a geometric approach to meaning representation within the framework of continuous mathematics. Meaning representation is a central issue in Natural Language Pr...
140
click to vote
IWFM
2003
15 years 1 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
150
click to vote
TOCL
2012
13 years 3 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...