Year: 2014

Conference

Reasoning about set comprehensions

2014 • CEUR Workshop Proceedings • 1163:27-37
Lam ESL, Cervesato I

Conference

Preface

2014 • Proceedings Motion in Games 2014 Mig 2014 • 6
Shapiro A, Amato NM, Hodgins J, Rodriguez S

Conference

Two-Term Disjunctions on the Second-Order Cone.

2014 • IPCO • 8494:345-356
Kilinç-Karzan F, Yildiz S

Journal Article

Conference on learning theory 2014: Preface

2014 • Journal of machine learning research • 35:1-2
Balcan MF, Szepesvári C

Conference

Ridesharing with Passenger Transfers

2014 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 3278-3283
Coltin B, Veloso M

Conference

Quantifying uncertainty in batch personalized sequential decision making

2014 • Aaai Workshop Technical Report • WS-14-08:26-30
Marivate V, Chemali J, Brunskill E, Littmanf M

Conference

Low rank approximation lower bounds in row-update streams

2014 • Advances in Neural Information Processing Systems • 2(January):1781-1789
Woodruff DP

Conference

A parallel virtual machine for executing forward-chaining linear logic programs

2014 • Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic Based Methods in Programming Environments 2014 Ciclops Wlpe 2014 • 125-140
Cruz F, Rocha R, Goldstein SC