3690 search results - page 192 / 738 » Computation with classical sequents |
218
Voted
TIDSE
2004
Springer
16 years 13 days 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...
158
click to vote
ICCSA
2003
Springer
16 years 9 days 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 ...
172
click to vote
DSN
2002
IEEE
16 years 2 days 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...
200
Voted
IWVF
2001
Springer
15 years 11 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...
175
click to vote
ICPR
2000
IEEE
15 years 11 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...