12774 search results - page 200 / 2555 » A Framework for Proof Systems |
181
click to vote
CIA
2008
Springer
15 years 8 months ago
2008
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a means...
176
click to vote
CSCWD
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we present a framework for contextbased awareness support designed for web-based groupware systems. Nowadays, such systems can be accessed through web-enabled mobil...
181
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Hadoop is a reference software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. Althoug...
182
click to vote
JSAC
2008
15 years 6 months ago
2008
Abstract--We consider the design of multiple-input multipleoutput communication systems with a linear precoder at the transmitter, zero-forcing decision feedback equalization (ZFDF...
164
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The InTENsity PowerWall is a display system used for high-resolution visualization of very large volumetric data sets. The display is linked to two separate computing environments...