Forschungspapier (64)

781.
Forschungspapier
Nanda, V.; Xu, P.; Sankararaman, K. A.; Dickerson, J. P.; Srinivasan, A.: Balancing the Tradeoff between Profit and Fairness in Rideshare Platforms During High-Demand Hours. (2019), 8 S.
782.
Forschungspapier
Biega, A. J.; Gummadi, K. P.; Weikum, G.: Equity of Attention: Amortizing Individual Fairness in Rankings. (2018), 10 S.
783.
Forschungspapier
Chen, Y.; Singla, A.; Mac Aodha, O.; Perona, P.; Yue, Y.: Understanding the Role of Adaptivity in Machine Teaching: The Case of Version Space Learners. (2018), 25 S.
784.
Forschungspapier
Francis, P.; Probst-Eide, S.; Obrok, P.; Berneanu, C.; Juric, S.; Munz, R.: Extended Diffix. (2018), 26 S.
785.
Forschungspapier
Haug, L.; Tschiatschek, S.; Singla, A.: Teaching Inverse Reinforcement Learners via Features and Demonstrations. (2018), 13 S.
786.
Forschungspapier
Heidari, H.; Ferrari, C.; Gummadi, K. P.; Krause, A.: Fairness Behind a Veil of Ignorance: A Welfare Analysis for Automated Decision Making. (2018), 17 S.
787.
Forschungspapier
Neider, D.; Gavran, I.: Learning Linear Temporal Properties. (2018), 10 S.
788.
Forschungspapier
Upadhyay, U.; De, A.; Gomez Rodriguez, M.: Deep Reinforcement Learning of Marked Temporal Point Processes. (2018), 20 S.
789.
Forschungspapier
Valera, I.; Singla, A.; Gomez Rodriguez, M.: Enhancing the Accuracy and Fairness of Human Decision Making. (2018), 11 S.
790.
Forschungspapier
Zhu, X.; Singla, A.; Zilles, S.; Rafferty, A. N.: An Overview of Machine Teaching. (2018), 18 S.
791.
Forschungspapier
Aguirre, A.; Barthe, G.; Gaboardi, M.; Garg, D.; Strub, P.-Y.: A Relational Logic for Higher-Order Programs. (2017), 57 S.
792.
Forschungspapier
Bichhawat, A.; Rajani, V.; Jain, J.; Garg, D.; Hammer, C.: WebPol: Fine-grained Information Flow Policies for Web Browsers. (2017), 21 S.
793.
Forschungspapier
Brahmakshatriya, A.; Kedia, P.; McKee, D. P.; Bhatu, P.; Garg, D.; Lal, A.; Rastogi, A.: An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code. (2017), 14 S.
794.
Forschungspapier
Chakraborty, A.; Messias, J.; Benevenuto, F.; Ghosh, S.; Ganguly, N.; Gummadi, K.: Who Makes Trends? Understanding Demographic Biases in Crowdsourced Recommendations. (2017), 10 S.
795.
Forschungspapier
Chakraborty, A.; Ali, M.; Ghosh, S.; Ganguly, N.; Gummadi, K.: On Quantifying Knowledge Segregation in Society. (2017), 5 S.
796.
Forschungspapier
D'Souza, D.; Ezudheen, P.; Garg, P.; Madhusudan, P.; Neider, D.: Horn-ICE Learning for Synthesizing Invariants and Contracts. (2017), 18 S.
797.
Forschungspapier
Deshmukh, J. V.; Jin, X.; Majumdar, R.; Prabhu, V.: Parameter Optimization in Control Software using Statistical Fault Localization Techniques. (2017), 12 S.
798.
Forschungspapier
Dimitrova, R.; Gavran, I.; Majumdar, R.; Prabhu, V.; Soudjani, S.: The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. (2017), 20 S.
799.
Forschungspapier
Farahani, S. S.; Majumdar, R.; Prabhu, V.; Soudjani, S.: Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. (2017), 11 S.
800.
Forschungspapier
Fijalkow, N.; Ohlmann, P.; Ouaknine, J.; Pouly, A.; Worrell, J.: Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. (2017), 13 S.
Zur Redakteursansicht