Sciweavers

94 search results - page 3 / 19
» synthese 2011
Sort
View
SYNTHESE
2011
90views more  SYNTHESE 2011»
15 years 9 days ago
Confirmation and reduction: a Bayesian account
F. Dizadji-Bahmani, Roman Frigg, Stephan Hartmann
127
Voted
CORR
2011
Springer
149views Education» more  CORR 2011»
15 years 11 days ago
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
Christian von Essen, Barbara Jobstmann
117
Voted
CORR
2011
Springer
139views Education» more  CORR 2011»
15 years 11 days ago
Synthesizing Switching Logic to Minimize Long-Run Cost
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
PVLDB
2011
15 years 9 days ago
Synthesizing Products for Online Catalogs
Hoa Nguyen, Ariel Fuxman, Stelios Paparizos, Julia...