Sciweavers

1229 search results - page 42 / 246
» A New Method for Dependent Parsing
Sort
View
ICPR
2006
IEEE
14 years 8 months ago
Motion Dependent Spatiotemporal Smoothing for Noise Reduction in Very Dim Light Image Sequences
A new method for noise reduction using spatiotemporal smoothing is presented in this paper. The method is developed especially for reducing the noise that arises when acquiring vi...
Henrik Malm, Eric Warrant
ACG
2003
Springer
14 years 28 days ago
Searching with Analysis of Dependencies in a Solitaire Card Game
We present a new method for taking advantage of the relative independence between parts of a single-player game. We describe an implementation for improving the search in a solitai...
Bernard Helmstetter, Tristan Cazenave
CADE
2009
Springer
14 years 8 months ago
Termination Analysis by Dependency Pairs and Inductive Theorem Proving
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
Carsten Fuhs, Jürgen Giesl, Michael Parting, ...
RTA
2009
Springer
14 years 2 months ago
Dependency Pairs and Polynomial Path Orders
Abstract. We show how polynomial path orders can be employed efficiently in conjunction with weak innermost dependency pairs to automatically certify the polynomial runtime comple...
Martin Avanzini, Georg Moser
ICPR
2004
IEEE
14 years 8 months ago
Data Dependent Classifier Fusion for Construction of Stable Effective Algorithms
A measure of stability for a wide class of pattern recognition algorithms is introduced to cope with overfitting in classification problems. Based on this concept, constructive me...
Dmitry Kropotov, Dmitry Vetrov