Sciweavers

11030 search results - page 63 / 2206
» Generative Sound Models
Sort
View
FLOPS
2010
Springer
14 years 4 months ago
Applying Constraint Logic Programming to SQL Test Case Generation
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
Rafael Caballero, Yolanda García-Ruiz, Fern...
ANLP
2000
123views more  ANLP 2000»
13 years 11 months ago
Generating Text with a Theorem Prover
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
Ivan I. Garibay
ARGMAS
2009
Springer
14 years 4 months ago
A Generative Dialogue System for Arguing about Plans in Situation Calculus
Abstract. This paper presents an argumentation mechanism for reconciling conflicts between planning agents related to plan proposals, which are caused by inconsistencies between b...
Alexandros Belesiotis, Michael Rovatsos, Iyad Rahw...
ICASSP
2011
IEEE
13 years 1 months ago
Template-based methods for sentence generation and speech synthesis
Here we propose a sentence-generation method using templates that can be applied to create a speech database. This method requires the recording of a relatively small sentence set...
Hiroyuki Segi, Reiko Takou, Nobumasa Seiyama, Tohr...
ENTCS
2006
117views more  ENTCS 2006»
13 years 9 months ago
Reasoning About Imperative Quantum Programs
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
Rohit Chadha, Paulo Mateus, Amílcar Sernada...