1724 search results - page 58 / 345 » Abstract Interpreters for Free |
166
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
In this work a new adaptive fast variational sparse Bayesian learning (V-SBL) algorithm is proposed that is a variational counterpart of the fast marginal likelihood maximization ...
155
click to vote
POPL
1994
ACM
15 years 9 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...
166
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
146
click to vote
SIAMCO
2008
15 years 5 months ago
2008
Abstract. Necessary conditions of optimality are derived for multiobjective optimal control problems with free end-time, in which the dynamics constraint is modeled as a nonconvex ...
129
click to vote
LATA
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. Glushkov’s algorithm builds an ε-free nondeterministic automaton from a given regular expression. In the worst case, its number of states is linear and its number of t...