5119 search results - page 277 / 1024 » Security Privacy |
170
click to vote
GIL
2009
15 years 4 months ago
2009
: Regulations and standards are playing an increasingly important role in crop production. Common to the vast majority of these is that they are written in a natural language which...
188
click to vote
SPEECH
2011
15 years 1 months ago
2011
This article deals with the generation of auditory-inspired spectro-temporal features aimed at audio coding. To do so, we first generate sparse audio representations we call spik...
184
click to vote
ISSE
2010
15 years 1 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
143
click to vote
MOC
2010
15 years 1 months ago
2010
Abstract. We propose a new matrix geometric mean satisfying the ten properties given by Ando, Li and Mathias [Linear Alg. Appl. 2004]. This mean is the limit of a sequence which co...
204
click to vote
MOC
2010
15 years 1 months ago
2010
Numerical schemes to compute approximate solutions of the evolutionary Stokes and Navier-Stokes equations are studied. The schemes are discontinuous in time and conforming in space...