Sciweavers

SG
2010
Springer
15 years 9 months ago
Accurately Measuring the Satisfaction of Visual Properties in Virtual Camera Control
Declarative approaches to camera control model inputs as properties on the camera and then rely on constraint-based and/or optimization techniques to compute the camera parameters ...
Roberto Ranon, Marc Christie, Tommaso Urli
SG
2010
Springer
15 years 9 months ago
Sketch-Based Interfaces: Exploiting Spatio-temporal Context for Automatic Stroke Grouping
In this paper, we investigate how discourse context in the form of short-term memory can be exploited to automatically group consecutive strokes in digital freehand sketching. With...
Lutz Dickmann, Tobias Lensing, Robert Porzel, Rain...
SFM
2010
Springer
162views Formal Methods» more  SFM 2010»
15 years 9 months ago
Performance and Security Tradeoff
Katinka Wolter, Philipp Reinecke
SFM
2010
Springer
202views Formal Methods» more  SFM 2010»
15 years 9 months ago
Information Theory and Security: Quantitative Information Flow
Pasquale Malacaria, Jonathan Heusser
COMSWARE
2007
IEEE
15 years 9 months ago
Robust and Efficient Software Management in Sensor Networks
Software deployment and updating of deployed code is a critical topic in the area of wireless sensor networks (WSN). Reasons are unreliable network connectivity, resource limitatio...
Wolfgang Schröder-Preikschat, Rüdiger Ka...