Sciweavers

4944 search results - page 901 / 989
» A Framework for Adaptive Visualization
Sort
View
SCP
2010
172views more  SCP 2010»
13 years 7 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
SIAMSC
2010
132views more  SIAMSC 2010»
13 years 7 months ago
New Algorithms for Optimal Online Checkpointing
Frequently, the computation of derivatives for optimizing time-dependent problems is based on the integration of the adjoint differential equation. For this purpose, the knowledge...
Philipp Stumm, Andrea Walther
TKDE
2010
137views more  TKDE 2010»
13 years 7 months ago
A Survey on Transfer Learning
—A major assumption in many machine learning and data mining algorithms is that the training and future data must be in the same feature space and have the same distribution. How...
Sinno Jialin Pan, Qiang Yang
TMC
2010
161views more  TMC 2010»
13 years 7 months ago
High-Rate Uncorrelated Bit Extraction for Shared Secret Key Generation from Channel Measurements
—Secret keys can be generated and shared between two wireless nodes by measuring and encoding radio channel characteristics without ever revealing the secret key to an eavesdropp...
Neal Patwari, Jessica Croft, Suman Jana, Sneha Kum...
WIAS
2010
152views more  WIAS 2010»
13 years 7 months ago
Towards a systematic approach for designing autonomic systems
An autonomic system is a system capable of managing itself and adjusting its actions in the face of environmental changes. Autonomic systems are currently developed using ad-hoc ap...
Walamitien H. Oyenan, Scott A. DeLoach