1746 search results - page 69 / 350 » A Constructive Semantics for ALC |
122
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
Recently, a technique called quotient cube was proposed as a summary structure for a data cube that preserves its semantics, with applications for online exploration and visualiza...
142
click to vote
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...
157
click to vote
PDPTA
2004
15 years 5 months ago
2004
Construction activities take place in what can be called a dynamic virtual organization (VO). VOs require a secure, reliable, scalable information infrastructure that allows collab...
152
click to vote
CICLING
2007
Springer
15 years 10 months ago
2007
Springer
Semantic parsing is the task of mapping a natural language sentence into a complete, formal meaning representation. Over the past decade, we have developed a number of machine lear...
129
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
An ontology for Semantic Web Services is proposed in this paper, whose intention is to enrich Web Services description. Distinguish from the existing ontologies, the proposed ontol...