Sciweavers

159 search results - page 29 / 32
» The Semantics of Entailment Omega
Sort
View
COMPSAC
2008
IEEE
13 years 9 months ago
Avoiding Program Failures Through Safe Execution Perturbations
We present an online framework to capture and recover from program failures and prevent them from occurring in the future through safe execution perturbations. The perturbations a...
Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Z...
AIMSA
2010
Springer
13 years 8 months ago
Expressive Approximations in DL-Lite Ontologies
Abstract. Ontology based data access (OBDA) is concerned with providing access to typically very large data sources through a mediating conceptual layer that allows one to improve ...
Elena Botoeva, Diego Calvanese, Mariano Rodriguez-...
LREC
2010
181views Education» more  LREC 2010»
13 years 8 months ago
Generating FrameNets of Various Granularities: The FrameNet Transformer
We present a method and a software tool, the FrameNet Transformer, for deriving customized versions of the FrameNet database based on frame and frame element relations. The FrameN...
Josef Ruppenhofer, Jonas Sunde, Manfred Pinkal
ECEH
2006
101views Healthcare» more  ECEH 2006»
13 years 8 months ago
Towards European Patient Summaries based on Triple Space Computing
: Medical practice today still entails sorting through scattered information on a specific patient. Making things more difficult, the EU, in bringing its member states closer toget...
Dario Cerizza, Emanuele Della Valle, Doug Foxvog, ...
IIE
2008
97views more  IIE 2008»
13 years 7 months ago
Mathematical Logic and Deduction in Computer Science Education
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
Hashim Habiballa, Tibor Kmet