2452 search results - page 156 / 491 » On Reduction of Lagrange Systems |
157
click to vote
QEST
2007
IEEE
16 years 10 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
170
click to vote
ACL
2006
15 years 7 months ago
2006
This paper shows that a simple two-stage approach to handle non-local dependencies in Named Entity Recognition (NER) can outperform existing approaches that handle non-local depen...
179
click to vote
CDC
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract— We study Balanced Truncation for stochastic differential equations. In doing so, we adopt ideas from large deviations theory and discuss notions of controllability and ...
175
click to vote
ACTA
2005
15 years 6 months ago
2005
A general framework for typing graph rewriting systems is presented: the idea is to statically derive a type graph from a given graph. In contrast to the original graph, the type g...
169
click to vote
ICASSP
2010
IEEE
15 years 28 days ago
2010
IEEE
Pure frequency-based audio fingerprint systems have the capacity of handling very short fingerprints while being highly robust to perturbations such as additive noise or compressi...