2268 search results - page 221 / 454 » Semantic Integration |
142
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
167
click to vote
SWS
2004
ACM
15 years 10 months ago
2004
ACM
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...
157
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
A great jump towards the advent of the Semantic Web will take place when a critical mass of web resources is available for use in a semantic way. This goal can be reached by the c...
241
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
151
click to vote
ACL
1996
15 years 6 months ago
1996
We present a natural language interface system which is based entirely on trained statistical models. The system consists of three stages of processing: parsing, semantic interpre...