15416 search results - page 397 / 3084 » Embeddings of Computable Structures |
256
click to vote
SAMOS
2010
Springer
15 years 5 months ago
2010
Springer
OpenCL is a programming language standard which enables the programmer to express the application by structuring its computation as kernels. The OpenCL compiler is given the explic...
212
click to vote
TASE
2010
IEEE
15 years 2 months ago
2010
IEEE
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...
203
click to vote
CONSTRAINTS
2010
15 years 5 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...
263
click to vote
ACII
2011
Springer
14 years 7 months ago
2011
Springer
We propose a computational framework for the recognition of suspense and dramatic arc in stories. Suspense is an affective response to narrative structure that accompanies the redu...
193
click to vote
EUROCRYPT
1998
Springer
15 years 12 months ago
1998
Springer
Abstract. This paper describes e cient protocols for multi-party computations that are information-theoretically secure against passive attacks. The results presented here apply to...