Sciweavers

14809 search results - page 2667 / 2962
» Model transformation by demonstration
Sort
View
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 7 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...
CLUSTER
2008
IEEE
15 years 7 months ago
Translating Service Level Objectives to lower level policies for multi-tier services
Service providers and their customers agree on certain quality of service guarantees through Service Level Agreements (SLA). An SLA contains one or more Service Level Objectives (S...
Yuan Chen, Subu Iyer, Xue Liu, Dejan S. Milojicic,...
CORR
2010
Springer
154views Education» more  CORR 2010»
15 years 7 months ago
Causal Markov condition for submodular information measures
The causal Markov condition (CMC) is a postulate that links observations to causality. It describes the conditional independences among the observations that are entailed by a cau...
Bastian Steudel, Dominik Janzing, Bernhard Sch&oum...
CORR
2010
Springer
104views Education» more  CORR 2010»
15 years 7 months ago
Support Recovery of Sparse Signals
We study the tradeoffs between the number of measurements, the signal sparsity level, and the measurement noise level for exact support recovery of sparse signals via random noisy ...
Yuzhe Jin, Young-Han Kim, Bhaskar D. Rao
COMPUTER
2008
66views more  COMPUTER 2008»
15 years 7 months ago
Into the Wild: Low-Cost Ubicomp Prototype Testing
ions and techniques such as activity models, storyboards, and programming by demonstration (Y. Li and J. Landay, "Activity-Based Prototyping of Ubicomp Applications for Long-L...
Yang Li, James A. Landay
« Prev « First page 2667 / 2962 Last » Next »