A Sydney start-up says it has solved a legal crisis whereby authoritative-sounding AI answers are fooling lawyers and frustrating judges. It is now set to expand to the US.
The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...
Abstract: This work addresses an energy-minimized deadline-constrained task scheduling problem in human-cyber-physical systems. It consists of three subproblems: processor allocation, task sequencing, ...
Abstract: This paper presents a novel neural network-based optimization framework, NNDE, to solve the traveling salesman problem (TSP). The core idea is to use a radial basis function network (RBFN) ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results