Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Engineering
Consistency Restoration In Point And Interval Spatio-Temporal Reasoning, Florent Launay, Debasis Mitra
Consistency Restoration In Point And Interval Spatio-Temporal Reasoning, Florent Launay, Debasis Mitra
Electrical Engineering and Computer Science Faculty Publications
In this work, we first have proposed a technique to define the “causes” of inconsistency on an online point based reasoning constraint network. Second, we introduce an algorithm that proposes the user a minimal set of relations to remove when inconsistencies are detected. We have developed and implemented a battery of algorithms for the purpose of this type of reasoning. Some useful theorems and properties are defined for proving the ‘minimal’ aspect of the algorithm. Finally, we found that our investigation was a polynomially solvable sub problem of the vertex cover problem.
An Optimum Greedy Algorithm For Choosing Minimal Set Of Conflicting Constraints In The Point Sequencing Problem, Florent Launay, Mitra Debasis
An Optimum Greedy Algorithm For Choosing Minimal Set Of Conflicting Constraints In The Point Sequencing Problem, Florent Launay, Mitra Debasis
Electrical Engineering and Computer Science Faculty Publications
In this work, we first have proposed a technique to define the "causes" of inconsistency on an online point based reasoning constraint network. Second, we introduce an algorithm that proposes the user a minimal set of relations to remove when inconsistencies are detected. We have developed and implemented a battery of algorithms for the purpose of this type of reasoning. Some useful theorems and properties are defined for proving the 'minimal' aspect of the algorithm. Finally, we found that our investigation was a polynomially solvable sub problem of the vertex cover problem.