Sciweavers

393 search results - page 15 / 79
» synthese 2008
Sort
View
CONCUR
2008
Springer
14 years 11 months ago
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
TASLP
2010
95views more  TASLP 2010»
14 years 8 months ago
A Modal-Based Real-Time Piano Synthesizer
—This paper presents a real-time piano synthesizer where both the transverse and longitudinal motion of the string is modeled by modal synthesis, resulting in a coherent and high...
Balázs Bank, Stefano Zambon, Federico Fonta...
SYNTHESE
2008
68views more  SYNTHESE 2008»
14 years 9 months ago
The many faces of interpolation
We present a number of, somewhat unusual, ways of describing what Craig's interpolation theorem achieves, and use them to identify some open problems and further directions. K...
Johan van Benthem
SYNTHESE
2008
76views more  SYNTHESE 2008»
14 years 9 months ago
Meta-epistemology and the varieties of epistemic infinitism
I will assume here the defenses of epistemic infinitism are adequate and inquire as to the variety standpoints within the view. I will argue that infinitism has three varieties dep...
Scott F. Aikin
SYNTHESE
2008
81views more  SYNTHESE 2008»
14 years 9 months ago
Adequate formalization
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by d...
Michael Baumgartner, Timm Lampert