Research Publications
All 2009 | |
| Narrow your search | 6 result(s) |
By Type By Year By Research Group | Cadoli et. al. noted the potential of first order automated reasoning for the purpose of analysing constraint models, and reported some encouraging initial experimental results. We are currently pursuing a very similar research program with a view to ... We present a new calculus for first-order theorem proving with equality, \MESUP, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality) by integrating their inference rules and redundancy criteria in ... Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environments. The current research challenge is to build systems that support ... Embedded systems in safety-critical areas require a high degree of assurance with regards to correctness and reliability. While extensive testing and using redundant subsystems can increase the degree of assurance, they can never guarantee that a system ... Recent years have seen considerable interest in procedures for computing finite models of first-order logic specifications. One of the major paradigms, MACE-style model building, is based on reducing model search to a sequence of propositional ... Due to the popularity of mobile devices, more and more commercial applications have been developed on these devices. While commercial applications are mostly backed by relational database systems, numerous database engines have been ported to or built on ... |