Sciweavers

1010 search results - page 162 / 202
» Designing Then and Now
Sort
View
COMPUTER
1999
95views more  COMPUTER 1999»
14 years 10 months ago
Wide-Area Computing: Resource Sharing on a Large Scale
abstract over a complex set of resources and provide a high-level way to share and manage them over the network. To be effective, such a system must address the challenges posed by...
Andrew S. Grimshaw, Adam Ferrari, Frederick Knabe,...
KI
2002
Springer
14 years 10 months ago
Spatial Strategies in Human-Robot Communication
This paper deals with various kinds of mental representations available for linguistic instruction in spatial humanrobot interaction. After a survey of the literature on spatial r...
Thora Tenbrink, Kerstin Fischer, Reinhard Moratz
IANDC
2010
84views more  IANDC 2010»
14 years 9 months ago
Underapproximation for model-checking based on universal circuits
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit deï...
Arie Matsliah, Ofer Strichman
TVCG
2010
165views more  TVCG 2010»
14 years 9 months ago
A Visual Backchannel for Large-Scale Events
—We introduce the concept of a Visual Backchannel as a novel way of following and exploring online conversations about large-scale events. Microblogging communities, such as Twit...
Marian Dörk, Daniel M. Gruen, Carey Williamso...
DEBU
2010
159views more  DEBU 2010»
14 years 8 months ago
Accelerating In-Page Logging with Non-Volatile Memory
A great deal of research has been done on solid-state storage media such as flash memory and non-volatile memory in the past few years. While NAND-type flash memory is now being c...
Sang-Won Lee, Bongki Moon, Chanik Park, Joo Young ...