Abstract We give new error bounds for the linear complementarity problem where the involved matrix is a P-matrix. Computation of rigorous error bounds can be turned into a P-matrix...
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
A problem of frequent interest in analyzing nonlinear ODE models of ecological systems is the location of equilibrium states and bifurcations. Interval-Newton techniques are explo...
In this paper, we propose a novel method of automatically combining images of a scene at different time intervals by image fusion. All the important information of the original lo...
Kaiqi Huang, Tieniu Tan, Yinghao Cai, Yunhong Wang