2017 search results - page 227 / 404 » Distributional Semantics in Technicolor |
EUROSYS
2007
ACM
14 years 1 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
CW
2004
IEEE
14 years 29 days ago
2004
IEEE
An unfavourable phenomenon is observed: current electronic markets are fragmented and have formed a set of autonomously distributed product information islands. This leads to hete...
ATAL
2003
Springer
14 years 26 days ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
FMOODS
2007
13 years 10 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
CLUSTER
2009
IEEE
13 years 7 months ago
2009
IEEE
Scientific computing has seen an immense growth in recent years. The Message Passing Interface (MPI) has become the de-facto standard for parallel programming model for distribute...