3690 search results - page 190 / 738 » Computation with classical sequents |
159
click to vote
ACSC
2005
IEEE
15 years 10 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)...
150
Voted
DSSCV
2005
Springer
15 years 10 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...
142
Voted
DSSCV
2005
Springer
15 years 10 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...
154
click to vote
FCT
2005
Springer
15 years 10 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...
141
click to vote
ICCSA
2005
Springer
15 years 10 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...