Sciweavers

4290 search results - page 642 / 858
» Formal Approaches to Teamwork
Sort
View
SIAMAM
2011
14 years 9 months ago
On the Optimal Receiver Activation Function for Distance-Based Geographic Transmissions
In wireless networks, the channels are often subject to random variations that limit the reliability of communications between any two radios. Geographic transmission strategies ca...
Murali Rao, Tathagata D. Goswami, Joseph Glover, J...
CAIP
2011
Springer
248views Image Analysis» more  CAIP 2011»
14 years 6 months ago
Statistical Tuning of Adaptive-Weight Depth Map Algorithm
Abstract. In depth map generation, the settings of the algorithm parameters to yield an accurate disparity estimation are usually chosen empirically or based on unplanned experimen...
Alejandro Hoyos, John Congote, Iñigo Barand...
EMSOFT
2011
Springer
14 years 6 months ago
Synthesis of optimal switching logic for hybrid systems
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
16 years 1 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
KDD
2007
ACM
191views Data Mining» more  KDD 2007»
16 years 7 months ago
Modeling relationships at multiple scales to improve accuracy of large recommender systems
The collaborative filtering approach to recommender systems predicts user preferences for products or services by learning past useritem relationships. In this work, we propose no...
Robert M. Bell, Yehuda Koren, Chris Volinsky