Papers
Efficient Operations On MDDs for Building Constraint Programming Models
Guillaume Perez, Jean-Charles Régin
Efficient Paraconsistent Reasoning with Ontologies and Rules
Tobias Kaminski, Matthias Knorr, João Leite
Efficient Query Rewriting in the Description Logic EL and Beyond
Peter Hansen, Carsten Lutz, İnanç Seylan et al.
Efficient Search with an Ensemble of Heuristics
Mike Phillips, Venkatraman Narayanan, Sandip Aine et al.
Efficient Semantic Features for Automated Reasoning over Large Theories
Cezary Kaliszyk, Josef Urban, Jiri Vyskocil
EigenGP: Gaussian Process Models with Adaptive Eigenfunctions
Hao Peng, Yuan Qi
Embedding Semantic Relations into Word Representations
Danushka Bollegala, Takanori Maehara, Ken-ichi Kawarabayashi
Emotions in Argumentation: an Empirical Evaluation
Sahbi Benlamine, Maher Chaouachi, Serena Villata et al.
EntScene: Nonparametric Bayesian Temporal Segmentation of Videos Aimed at Entity-Driven Scene Detection
Adway Mitra, Chiranjib Bhattacharyya, Soma Biswas
Environment-Driven Social Force Model: Lévy Walk Pattern in Collective Behavior
Danyan Lv, Zhaofeng Li, Yichuan Jiang
Envy-Free Sponsored Search Auctions with Budgets
Bo Tang, Jinshan Zhang
Epistemic Equilibrium Logic
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results
Francesco Belardinelli, Wiebe van der Hoek
Equilibria Under the Probabilistic Serial Rule
Haris Aziz, Serge Gaspers, Simon Mackenzie et al.
Equilibrium Analysis of Multi-Defender Security Games
Jian Lou, Yevgeniy Vorobeychik
Equilibrium Refinement through Negotiation in Binary Voting
Umberto Grandi, Davide Grossi, Paolo Turrini
Estimating the Margin of Victory of an Election Using Sampling
Palash Dey, Y. Narahari
Estimating the Probability of Meeting a Deadline in Hierarchical Plans
Liat Cohen, Solomon Eyal Shimony, Gera Weiss
Evolving Ambiguous Images
Penousal Machado, Adriano Vinhas, João Correia et al.
Evolving Families of Shapes
Filipe Assunção, João Correia, Pedro Martins et al.
Examples and Tutored Problems: Adaptive Support Using Assistance Scores
Amir Shareghi Najar, Antonija Mitrovic, Bruce McLaren
Exchange of Indivisible Objects with Asymmetry
Zhaohong Sun, Hideaki Hata, Taiki Todo et al.