261 search results - page 13 / 53 » synthese 2010 |
SYNTHESE
2010
13 years 2 months ago
2010
Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In...
SYNTHESE
2010
13 years 2 months ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
INTERSPEECH
2010
13 years 2 months ago
2010
Text-to-speech synthesizer systems are of overall good quality, especially when adapted to a specific task. Given this task and an adapted voice corpus, the message quality is mai...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...
IJCAT
2010
13 years 6 months ago
2010
: In order to synthesize distortionless texture on surfaces, we develop a direct and accurate approach for local resampling in vector fields, and then use the approach to synthesiz...