434 search results - page 38 / 87 » The Case for Browser Provenance |
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper addresses the problem of state estimation in the case where the prior distribution of the states is not perfectly known but instead is parameterized by some unknown par...
109
click to vote
ICFEM
2009
Springer
14 years 9 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
106
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
Interior point methods (IPMs) have proven to be an efficient way of solving quadratic programming problems in predictive control. A linear system of equations needs to be solved in...
TCS
2011
14 years 6 months ago
2011
Using a combinatorial characterization of digital convexity based on words, one defines the language of convex words. The complement of this language forms an ideal whose minimal...
107
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Recently, i-vector extraction and Probabilistic Linear Discriminant Analysis (PLDA) have proven to provide state-of-the-art speaker verification performance. In this paper, the s...