45 search results - page 1 / 9 » Defining Differentiation and Integration in Z |
ICFEM
1998
Springer
13 years 9 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
SIAMNUM
2011
12 years 11 months ago
2011
In this paper we prove the discrete compactness property for a wide class of p finite element approximations of non-elliptic variational eigenvalue problems in two and three spac...
CN
2004
13 years 4 months ago
2004
The Differentiated Services architecture targets at providing scalable network Quality of Service by means of aggregate scheduling. However, the defined framework itself only give...
JOTA
2010
12 years 11 months ago
2010
A convenient form of necessary and sufficient conditions of viability for differential games with linear dynamics is proposed. These conditions are utilized to construct maximal vi...
ICCV
2007
IEEE
14 years 6 months ago
2007
IEEE
Numerous applications processing 3D point data will gain from the ability to estimate reliably normals and differential geometric properties. Normal estimates are notoriously nois...