Sciweavers

825 search results - page 59 / 165
» interactions 2011
Sort
View
NFM
2011
209views Formal Methods» more  NFM 2011»
14 years 7 months ago
Formalizing Probabilistic Safety Claims
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
Heber Herencia-Zapana, George Hagen, Anthony Narka...
95
Voted
TKDE
2011
100views more  TKDE 2011»
14 years 7 months ago
Intertemporal Discount Factors as a Measure of Trustworthiness in Electronic Commerce
—In multiagent interactions, such as e-commerce and file sharing, being able to accurately assess the trustworthiness of others is important for agents to protect themselves fro...
Christopher J. Hazard, Munindar P. Singh
130
Voted
TVCG
2011
196views more  TVCG 2011»
14 years 7 months ago
Measurement-Based Modeling of Contact Forces and Textures for Haptic Rendering
—Haptic texture represents the fine-grained attributes of an object’s surface and is related to physical characteristics such as roughness and stiffness. We introduce an inter...
Jochen Lang, Sheldon Andrews
96
Voted
TVCG
2011
132views more  TVCG 2011»
14 years 7 months ago
Point-Based Visualization for Large Hierarchies
—Space-filling layout techniques for tree representations are frequently used when the available screen space is small or the data set is large. In this paper, we propose an ef...
Hans-Jörg Schulz, Steffen Hadlak, Heidrun Sch...
134
Voted
ICCABS
2011
14 years 4 months ago
High-performance biocomputing for simulating the spread of contagion over large contact networks
Abstract—Many important biological problems can be modeled as contagion diffusion processes over interaction networks. This paper shows how the EpiSimdemics interaction-based sim...
Keith R. Bisset, Ashwin M. Aji, Madhav V. Marathe,...