4067 search results - page 369 / 814 » Programs for Applying Symmetries |
166
click to vote
SODA
2003
ACM
15 years 8 months ago
2003
ACM
State-of-the-art linear programming (LP) solvers give solutions without any warranty. Solutions are not guaranteed to be optimal or even close to optimal. Of course, it is general...
148
click to vote
WSC
1998
15 years 8 months ago
1998
Bayesian forecasting models provide distributional estimates for random parameters, and relative to classical schemes, have the advantage that they can rapidly capture changes in ...
142
click to vote
COLING
1996
15 years 8 months ago
1996
The paper describes problems in disambiguating the morphological analysis of Bantu languages by using Swahili as a test language. The main factors of ambiguity in this language gr...
188
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
182
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...