Sciweavers

30240 search results - page 5995 / 6048
» Robust System Design
Sort
View
GI
2008
Springer
15 years 28 days ago
A Novel Conceptual Model for Accessing Distributed Data and Applications, as well as Devices
: As data and services are increasingly distributed in the network, rather than stored in a fixed location, one can imagine a scenario in which the Personal Computer, intended as a...
Lucia Terrenghi, Thomas Lang
ICFP
2010
ACM
15 years 28 days ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
HAPTICS
2008
IEEE
15 years 28 days ago
Haptic Interaction with Soft Tissues Based on State-Space Approximation
The well known property of haptic interaction is the high refresh rate of the haptic loop that is necessary for the stability of the interaction. Therefore, only simple computation...
Igor Peterlík, Ludek Matyska
ACMDIS
2010
ACM
15 years 2 days ago
WallBots: interactive wall-crawling robots in the hands of public artists and political activists
Street art and political activism have a rich history of shaping urban landscapes. Our work explores the processes by which public artists and political activists contribute to pu...
Stacey Kuznetsov, Eric Paulos, Mark D. Gross
MM
2010
ACM
198views Multimedia» more  MM 2010»
15 years 1 days ago
Social pixels: genesis and evaluation
Huge amounts of social multimedia is being created daily by a combination of globally distributed disparate sensors, including human-sensors (e.g. tweets) and video cameras. Taken...
Vivek K. Singh, Mingyan Gao, Ramesh Jain
« Prev « First page 5995 / 6048 Last » Next »