2069 search results - page 55 / 414 » Synthesizing |
152
click to vote
FOSSACS
2012
Springer
14 years 17 days ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
123
click to vote
SYNTHESE
2010
15 years 3 months ago
2010
In the Newcomb problem, the standard arguments for taking either one box or both boxes adduce what seem to be relevant considerations, but they are not complete arguments, and att...
129
click to vote
SYNTHESE
2010
15 years 3 months ago
2010
Subjects communicated prior to playing trust games; the richness of the communication media and the topics of conversation were manipulated. Communication richness failed to produ...
130
Voted
SYNTHESE
2008
15 years 4 months ago
2008
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...
129
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
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...