3384 search results - page 105 / 677 » More Testable Properties |
144
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In recent years, idempotent methods (specifically, max-plus methods) have been developed for solution of nonlinear control problems. It was thought that idempotent linearity o...
193
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...
146
click to vote
NOSSDAV
2001
Springer
15 years 10 months ago
2001
Springer
The demand for streaming multimedia applications is growing at an incredible rate. In this paper, we propose Bayeux, an efficient application-level multicast system that scales t...
150
click to vote
TLCA
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...
158
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we introduce a novel way of modeling distributions with a low latent dimensionality. Our method allows for a strict control of the properties of the mapping between ...