Sciweavers

4100 search results - page 282 / 820
» General Linear Cameras
Sort
View
203
Voted
CSL
2001
Springer
15 years 11 months ago
Non-commutativity and MELL in the Calculus of Structures
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...
Alessio Guglielmi, Lutz Straßburger
MFCS
2001
Springer
15 years 11 months ago
On Pseudorandom Generators in NC
In this paper we consider the question of whether NC0 circuits can generate pseudorandom distributions. While we leave the general question unanswered, we show • Generators compu...
Mary Cryan, Peter Bro Miltersen
CCCG
2008
15 years 8 months ago
Guaranteed Voronoi Diagrams of Uncertain Sites
In this paper we investigate the Voronoi diagram that is induced by a set of sites in the plane, where each site's precise location is uncertain but is known to be within a p...
Jeff Sember, William Evans
AUTOMATICA
2010
72views more  AUTOMATICA 2010»
15 years 6 months ago
A sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs
In this paper, an original result in terms of a sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs is give...
Carine Jauberthie, Louise Travé-Massuy&egra...
AAECC
2006
Springer
120views Algorithms» more  AAECC 2006»
15 years 6 months ago
Continued fraction for formal laurent series and the lattice structure of sequences
Abstract Besides equidistribution properties and statistical independence the lattice profile, a generalized version of Marsaglia's lattice test, provides another quality meas...
Wilfried Meidl