9359 search results - page 24 / 1872 » Generalization Algorithms for Second-Order Terms |
JMIV
2007
14 years 11 months ago
2007
Recently, a powerful two-phase method for restoring images corrupted with high level impulse noise has been developed. The main drawback of the method is the computational efficie...
105
click to vote
WADS
2005
Springer
15 years 5 months ago
2005
Springer
Important generalizations of the Vertex Cover problem (Connected Vertex Cover, Capacitated Vertex Cover, and Maximum Partial Vertex Cover) have been intensively studied in terms of...
KDD
2009
ACM
16 years 9 days ago
2009
ACM
Rock art is an archaeological term for human-made markings on stone. It is believed that there are millions of petroglyphs in North America alone, and the study of this valued cul...
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
A class of nonlinear transformation-based filters (NLTF) for state estimation is proposed. The nonlinear transformations that can be used include first (TT1) and second (TT2) or...
103
click to vote
ICFP
2010
ACM
15 years 25 days ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...