Sciweavers

11030 search results - page 63 / 2206
» Generative Sound Models
Sort
View
150
Voted
FLOPS
2010
Springer
15 years 9 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...
114
Voted
ANLP
2000
123views more  ANLP 2000»
15 years 3 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
132
Voted
ARGMAS
2009
Springer
15 years 8 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...
51
Voted
ICASSP
2011
IEEE
14 years 6 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...
146
Voted
ENTCS
2006
117views more  ENTCS 2006»
15 years 2 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...