Managing Declarative Constraints
Designing Algorithms (3)
1 The logic-automaton connection and applications Mona project Initiated at the University of Aarhus (BRICS) Google: Mona Michael I. SchwartzbachAnders.
Pallavi Tambay, Yang Zhang, Prof. Bharat Jayaraman Compositional specification of structure objects Declarative specification of behavior constraints.
Research Focus Textual Inference and Knowledge Representation Our research focuses on the computational foundations of intelligent behavior. We develop.
Creating Biological Ontologies for Applications Dr Andrew Gibson Swammerdam Institute for Life Sciences Universiteit van Amsterdam.
Research Focus
Efficient Decomposed Learning for Structured Prediction Rajhans Samdani Joint work with Dan Roth University of Illinois at Urbana-Champaign Page 1.
Efficient Decomposed Learning for Structured Prediction