1746 search results - page 213 / 350 » A Constructive Semantics for ALC |
PRICAI
2000
Springer
15 years 4 months ago
2000
Springer
One of the main limitations when accessing the web is the lack of explicit structure, whose presence may help in understanding data semantics. Schema for web data can be constructe...
116
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
99
Voted
FPL
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents the design and implementation of BORPH's kernel file system layer that provides FPGA processes direct access to the general file system. Using a semantics...
LREC
2010
15 years 2 months ago
2010
Automatically translating natural language into machine-readable instructions is one of major interesting and challenging tasks in Natural Language (NL) Processing. This problem c...
90
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...