Sciweavers

297 search results - page 3 / 60
» Compositional noisy-logical learning
Sort
View
136
Voted
QEST
2010
IEEE
15 years 1 months ago
Compositional Verification of Probabilistic Systems Using Learning
Lu Feng, Marta Z. Kwiatkowska, David Parker
JUCS
2010
155views more  JUCS 2010»
14 years 10 months ago
Authoring and Delivering Personalised Simulations - an Innovative Approach to Adaptive eLearning for Soft Skills
: This paper examines the personalization of online training simulations which are a key modern approach in computer aided education. More specifically it focuses on the difficulti...
Conor Gaffney, Declan Dagger, Vincent Wade
COLT
2010
Springer
15 years 2 months ago
Composite Objective Mirror Descent
We present a new method for regularized convex optimization and analyze it under both online and stochastic optimization settings. In addition to unifying previously known firstor...
John Duchi, Shai Shalev-Shwartz, Yoram Singer, Amb...
74
Voted
ICML
2008
IEEE
16 years 4 months ago
Actively learning level-sets of composite functions
Brent Bryan, Jeff G. Schneider