2312 search results - page 245 / 463 » Invariance in Property Testing |
139
Voted
AI
2005
Springer
15 years 5 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
155
click to vote
ACL
2009
15 years 2 months ago
2009
We investigate the use of Fisher's exact significance test for pruning the translation table of a hierarchical phrase-based statistical machine translation system. In additio...
133
click to vote
ESOP
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...
114
Voted
NETWORKING
2010
15 years 6 months ago
2010
We carry out a longitudinal study of evolution of small-time scaling behavior of Internet traffic on the MAWI dataset spanning 8 years. MAWI dataset contains a number of anomalies ...
163
click to vote
IJCV
2007
15 years 5 months ago
2007
Orthogonal and biorthogonal wavelets became very popular image processing tools but exhibit major drawbacks, namely a poor resolution in orientation and the lack of translation inv...