2409 search results - page 268 / 482 » Building Components from Functions |
216
click to vote
COMBINATORICS
1998
15 years 6 months ago
1998
On donnera une formule pour l’op´erateur Hqt 2 avec la propri´et´e que Hqt 2 H(2a1b)[X; q, t] = H(2a+11b)[X; q, t] avec les fonctions sym´etriques Hµ[X; q, t] = λ Kλµ(q,...
241
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
186
click to vote
EMNLP
2008
15 years 8 months ago
2008
The conditional phrase translation probabilities constitute the principal components of phrase-based machine translation systems. These probabilities are estimated using a heurist...
241
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
218
Voted
EWSPT
2003
Springer
16 years 7 days ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...