3690 search results - page 192 / 738 » Computation with classical sequents |
128
click to vote
TIDSE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This article presents the first implementation results of a storytelling system called Jeherazade. The Jeherazade system is based on the idea to enhance the classical the...
82
Voted
ICCSA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper, we consider a nonlinear optimization problem with inequality constraints. The paper addresses the degenerate case when the active constraint gradients are ...
88
Voted
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper deals with the performance analysis of a system modeled by a queue. If we are interested in occupation problems and if we look at the transient phase, then it makes sen...
114
click to vote
IWVF
2001
Springer
15 years 5 months ago
2001
Springer
We present a 2D shape recognition and classification method based on matching shape outlines. The correspondence between outlines (curves) is based on a notion of an alignment cur...
90
Voted
ICPR
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we present a new multichannel blind deconvolution method based on so-called subspace technique that was originally proposed by Harikumar and Bresler. When at least t...