1449 search results - page 14 / 290 » Finiteness results for sigmoidal |
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
103
click to vote
CG
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Depth-first proof-number (df-pn) search is a powerful member of the family of algorithms based on proof and disproof numbers. While df-pn has succeeded in practice, its t...
EJC
2010
14 years 12 months ago
2010
Abstract. In this paper we study dualities of graphs and, more generally, relational structures with respect to full homomorphisms, that is, mappings that are both edge- and non-ed...
MOC
2000
14 years 11 months ago
2000
In this paper, the global superconvergence is analysed on two schemes (a mixed finite element scheme and a finite element scheme) for Maxwell's equations in R3. Such a superco...
CDC
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract-- We introduce an extension of the notion of homogeneous approximation to make it valid both at the origin and at infinity (homogeneity in the bi-limit). Exploiting this e...