Sciweavers

2069 search results - page 65 / 414
» Synthesizing
Sort
View
AAAI
2007
15 years 7 months ago
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
Pascal Van Hentenryck, Laurent D. Michel
123
Voted
ACL
2006
15 years 6 months ago
Learning to Say It Well: Reranking Realizations by Predicted Synthesis Quality
This paper presents a method for adapting a language generator to the strengths and weaknesses of a synthetic voice, thereby improving the naturalness of synthetic speech in a spo...
Crystal Nakatsu, Michael White
SYNTHESE
2008
114views more  SYNTHESE 2008»
15 years 4 months ago
Quantified coalition logic
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
109
Voted
SYNTHESE
2008
55views more  SYNTHESE 2008»
15 years 4 months ago
The semantics/pragmatics interface from an experimental perspective: the case of scalar implicature
In this paper I discuss some of the criteria that are widely used in the linguistic and philosophical literature to classify an aspect of meaning as either semantic or pragmatic. W...
Napoleon Katsos
SYNTHESE
2008
79views more  SYNTHESE 2008»
15 years 4 months ago
Logical dynamics of some speech acts that affect obligations and preferences
ABSTRACT. In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combine...
Tomoyuki Yamada