14577 search results - page 2782 / 2916 » Statistical Language Modelling |
114
click to vote
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
The Business Process Execution Language for Web Services (BPEL4WS) is the de facto standard for the composition of web services into complex, valued-added workflows in both indus...
107
click to vote
COMPGEOM
2010
ACM
15 years 7 months ago
2010
ACM
Let G be an unweighted graph of complexity n cellularly embedded in a surface (orientable or not) of genus g. We describe improved algorithms to compute (the length of) a shortest...
141
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
The goal of this research is to develop performance profiles of parallel and distributed applications in order to predict their execution time under different network conditions....
131
click to vote
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
115
click to vote
CPAIOR
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present a constraint programming approach for the service consolidation problem that is being currently tackled by Neptuny, Milan. The problem is defined as: Giv...