Sciweavers

6905 search results - page 1119 / 1381
» Querying Multidimensional Databases
Sort
View
NAACL
1994
15 years 5 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 4 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 3 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
MMS
2006
15 years 3 months ago
Update Relevance under the Multiset Semantics of RDBMS
: In order to reduce transmission costs and response time, mobile clients typically cache data locally. But, avoiding the usage of outdated data and maintaining the consistency of ...
Hagen Höpfner
CONCURRENCY
2008
164views more  CONCURRENCY 2008»
15 years 3 months ago
Automatic capture and efficient storage of e-Science experiment provenance
ce that allows navigation from an abstract model of the experiment to instance data collected during a specific experiment run. We outline modest extensions to a commercial workflo...
Roger S. Barga, Luciano A. Digiampietri
« Prev « First page 1119 / 1381 Last » Next »