1743 search results - page 171 / 349 » Generalized Modal Satisfiability |
114
Voted
JMIV
2007
15 years 3 months ago
2007
We analyze the discrete maximum principle for the Beltrami color flow. The Beltrami flow can display linear as well as nonlinear behavior according to the values of a parameter ...
128
Voted
CN
2004
15 years 3 months ago
2004
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specif...
118
Voted
EJC
2000
15 years 3 months ago
2000
We study the zeros of two families of polynomials related to rook theory and matchings in graphs. One of these families is based on the cover polynomial of a digraph introduced by ...
108
Voted
MOC
1998
15 years 3 months ago
1998
New transformations for accelerating the convergence of infinite double series and infinite double integrals are presented. These transformations are generalizations of the univa...
132
Voted
MP
1998
15 years 3 months ago
1998
In recent years second-order sufficient conditions of an isolated local minimizer for convex composite optimization problems have been established. In this paper, second-order opt...