46 search results - page 6 / 10 » Separability Generalizes Dirac's Theorem |
GG
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
IPSN
2003
Springer
14 years 19 days ago
2003
Springer
Sensors acquire data, and communicate this to an interested party. The arising coding problem is often split into two parts: First, the sensors compress their respective acquired s...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper proposes an image segmentation model based on the active contour model, the Mumford-Shah functional and the image decomposition process. Generally speaking, the active ...
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
INFORMATICALT
2000
13 years 7 months ago
2000
Two models for an age-structured nonlimited population dynamics with maternal care of offspring are presented. One of them deals with a bisexual population and includes a harmonic ...