Sciweavers

8486 search results - page 352 / 1698
» Ordered Enumeration Method
Sort
View
CSC
2006
15 years 6 months ago
Computing the Drift of Mutant Genes
- We develop a numerical scheme for computing the solution of a generalized version of Fisher's equation. The main idea is to use a modi ed Crank-Nicolson method in order to c...
Miguel Olmos-Gomez, Merced Arriaga-Gutierrez, Vali...
AIML
1998
15 years 6 months ago
A Resolution-Based Decision Procedure for Extensions of K4
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer...
115
Voted
ICPR
2010
IEEE
15 years 5 months ago
Hyper Least Squares and Its Applications
We present a new form of least squares (LS), called “hyperLS”, for geometric problems that frequently appear in computer vision applications. Doing rigorous error analysis, we...
Prasanna Rangarajan, Kenichi Kanatani, Hirotaka Ni...
111
Voted
COLING
2002
15 years 4 months ago
Best Analysis Selection in Inflectional Languages
Ambiguity is the fundamental property of natural language. Perhaps, the most burdensome case of ambiguity manifests itself on the syntactic level of analysis. In order to face up ...
Ales Horák, Pavel Smrz
ICIP
2010
IEEE
15 years 3 months ago
Total subset variation prior
We propose total subset variation (TSV), a convexity preserving generalization of the total variation (TV) prior, for higher order clique MRF. A proposed differentiable approximat...
Sanjeev Kumar, Truong Q. Nguyen