Sciweavers

6746 search results - page 1079 / 1350
» Multimodal Database Query
Sort
View
CR
2001
173views Education» more  CR 2001»
15 years 8 months ago
Constructing an Ontology for WWW Summarization in Bone Marrow Transplantation (BMT)
We describe an ontology for WWW summarization in Bone Marrow Transplantation that is currently under construction. It is text-based and qualifies as a grounded ontology. In additi...
Brigitte Endres-Niggemeyer, Bernd Hertenstein, Cla...
INTERACT
2003
15 years 8 months ago
Visualization and Analysis of Formula One Racing Results with InfoZoom - the Demo
Abstract: We show the application of the data analysis tool InfoZoom to a database of Formula One racing results. The user can interactively explore different tabular visualisation...
Michael Spenke, Christian Beilken
NAACL
1994
15 years 8 months ago
Information Based Intonation Synthesis
This paper presents a model for generating prosodically appropriate synthesized responses to database queries using Combinatory Categorial Grammar (CCG - cf. [22]), a formalism wh...
Scott Prevost, Mark Steedman
CASC
2009
Springer
180views Mathematics» more  CASC 2009»
15 years 7 months ago
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
Aless Lasaruk, Thomas Sturm
IJAR
2008
91views more  IJAR 2008»
15 years 6 months ago
Distance-based paraconsistent logics
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
Ofer Arieli
« Prev « First page 1079 / 1350 Last » Next »