988 search results - page 46 / 198 » Pseudo-Genetic Algorithmic Composition |
113
Voted
IC
2004
15 years 2 months ago
2004
The emergence of Web Service has led to more research into Web Services composition. It has received much interest to support business-to-business or enterprise application integra...
114
Voted
ICPP
2009
IEEE
15 years 7 months ago
2009
IEEE
—In addition to their role as simulation engines, modern supercomputers can be harnessed for scientific visualization. Their extensive concurrency, parallel storage systems, and...
139
Voted
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
105
click to vote
ACL
2011
14 years 4 months ago
2011
This paper presents an attempt at building a large scale distributed composite language model that simultaneously accounts for local word lexical information, mid-range sentence s...
141
Voted
ICALP
2011
Springer
14 years 4 months ago
2011
Springer
-Preserving Atomicity Abstraction Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 University of Oxford Modern concurrent algorithms are usually encapsulated in libr...