4744 search results - page 374 / 949 » Connected Computing |
156
Voted
TABLEAUX
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
131
click to vote
DAIS
2010
15 years 6 months ago
2010
Our everyday environments will soon be pervaded with RFID tags integrated in physical objects. These RFID tags can store a digital representation of the physical object and transmi...
161
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
— We study a simple game theoretic model for the spread of an innovation in a network. The diffusion of the innovation is modeled as the dynamics of a coordination game in which ...
139
click to vote
AINTEC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper describes the network architecture of an Asiawide satellite Internet that considers the situations in developing regions. The design considerations for the arc...
164
Voted
CLUSTER
2004
IEEE
15 years 8 months ago
2004
IEEE
A key challenge in supporting data-driven scientific applications is the storage and management of input and output data in a distributed environment. In this paper, we describe a...