Sciweavers

6583 search results - page 966 / 1317
» Semantic Analysis Patterns
Sort
View
148
Voted
PVLDB
2008
118views more  PVLDB 2008»
15 years 4 months ago
Column-store support for RDF data management: not all swans are white
This paper reports on the results of an independent evaluation of the techniques presented in the VLDB 2007 paper "Scalable Semantic Web Data Management Using Vertical Partit...
Lefteris Sidirourgos, Romulo Goncalves, Martin L. ...
JELIA
2010
Springer
15 years 3 months ago
A Normal Form for Linear Temporal Equilibrium Logic
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
Pedro Cabalar
JOT
2010
113views more  JOT 2010»
15 years 3 months ago
SOA Web Security and Applications
entional vulnerability detection fails to extend its generic form to an abstract level in coping with particular type of string validation. Consequently the security bypasses key ...
Raymond Wu, Masayuki Hisada
LICS
2010
IEEE
15 years 3 months ago
A Generic Operational Metatheory for Algebraic Effects
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
Patricia Johann, Alex Simpson, Janis Voigtlän...
249
Voted
SNPD
2010
15 years 3 months ago
Ambiguous Arabic Words Disambiguation
In this paper we propose an hybrid system of Arabic words disambiguation. To achieve this goal we use the methods employed in the domain of information retrieval: Latent semantic ...
Laroussi Merhbene, Anis Zouaghi, Mounir Zrigui