Keyword:constraints

Publications
Output Feedback Reference Tracking for Constrained Linear Systems via Invariant Sets: the Coupled Tanks Process Matheus Rodrigues, Glauber Leite, Ícaro Araújo, Tiago Almeida and Carlos Dórea EasyChair Preprint 15926
Advanced Performance Analysis of Serverless Java: Best Practices for Full-Stack AI Cloud Applications Wayzman Kolawole EasyChair Preprint 14950
Improved Performance of Constraints Milos Pericic EasyChair Preprint 14821
A Novel Formulation for Multibody Systems with Unilateral Interactions Using Equimomental Systems of Point Masses David Solanillas and Jozsef Kovecses EasyChair Preprint 13406
Constraint-Based Part-of-Speech Tagging Neng-Fa Zhou EasyChair Preprint 8379
The Role of Monitoring and Evaluation in Projects Management in Nigeria Simon Wakawa, Abayomi Adebisi, Bawa Garshima Gamiya, Sadiq Thomas and Oshiga Omotayo EasyChair Preprint 5131
Epistemic Logic Programs with World View Constraints Patrick Kahl and Anthony Leclerc EasyChair Preprint 231
Constraint-Based Inference in Probabilistic Logic Programs Arun Nampally, Timothy Zhang and C. R. Ramakrishnan EasyChair Preprint 210
Towards a Logical Framework for Latent Variable Modelling Trisha Nowland, Alissa Beath and Simon Boag EasyChair Preprint 196
Scalable Probabilistic Routes Suwei Yang, Victor Liang and Kuldeep S. Meel In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses Sophie Tourret, Mnacho Echenim and Nicolas Peltier In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Alignnment of RNA with Structures of Unlimited Complexity Alessandro Dal Palù, Mathias Möhl and Sebastian Will In:WCB10. Workshop on Constraint Based Methods for Bioinformatics