Sciweavers

1791 search results - page 237 / 359
» Semantics and Complexity of SPARQL
Sort
View
FUIN
2006
81views more  FUIN 2006»
15 years 4 months ago
Redundant Call Elimination via Tupling
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...
Wei-Ngan Chin, Siau-Cheng Khoo, Neil Jones
KER
2008
88views more  KER 2008»
15 years 4 months ago
Ontology change: classification and survey
Ontologies play a key role in the advent of the Semantic Web. An important problem when dealing with ontologies is the modification of an existing ontology in response to a certai...
Giorgos Flouris, Dimitris Manakanatas, Haridimos K...
AML
2002
69views more  AML 2002»
15 years 4 months ago
Transfer principles in nonstandard intuitionistic arithmetic
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
J. Avigad, Jeremy Helzner
CN
2002
111views more  CN 2002»
15 years 4 months ago
Analysis and optimisation of event-condition-action rules on XML
XML is a now a dominant standard for storing and exchanging information. With its increasing use in areas such as data warehousing and e-commerce, there is a rapidly growing need ...
James Bailey, Alexandra Poulovassilis, Peter T. Wo...
COLING
2002
15 years 4 months ago
Semantics-based Representation for Multimodal Interpretation in Conversational Systems
To support context-based multimodal interpretation in conversational systems, we have developed a semantics-based representation to capture salient information from user inputs an...
Joyce Y. Chai