3690 search results - page 190 / 738 » Computation with classical sequents |
118
Voted
ACSC
2005
IEEE
15 years 6 months ago
2005
IEEE
A k-separated matching in a graph is a set of edges at distance at least k from one another (hence, for instance, a 1-separated matching is just a matching in the classical sense)...
115
click to vote
DSSCV
2005
Springer
15 years 6 months ago
2005
Springer
The geometry of “empty” scale space is investigated. By virtue of the proposed geometric axioms the generating PDE, the linear isotropic heat equation, can be presented in cova...
99
Voted
DSSCV
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this note we study the local behavior of singularities occurring in scale space under Gaussian blurring. Based on ideas from singularity theory for vector fields this...
120
Voted
FCT
2005
Springer
15 years 6 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
ICCSA
2005
Springer
15 years 6 months ago
2005
Springer
The major objective of this paper is to deploy an effective evolutionary algorithm (EA) for the congestion problem in connection-oriented networks. The network flow is modeled as n...