Sciweavers

1554 search results - page 168 / 311
» Testing Polymorphic Behavior
Sort
View
CORR
2011
Springer
155views Education» more  CORR 2011»
13 years 2 months ago
Subexponential convergence for information aggregation on regular trees
— We consider the decentralized binary hypothesis testing problem on trees of bounded degree and increasing depth. For a regular tree of depth t and branching factor k ≥ 2, we ...
Yashodhan Kanoria, Andrea Montanari
TC
2010
13 years 2 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
BPM
2011
Springer
270views Business» more  BPM 2011»
12 years 7 months ago
Automated Error Correction of Business Process Models
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
Mauro Gambini, Marcello La Rosa, Sara Migliorini, ...
HUC
2011
Springer
12 years 7 months ago
HeatProbe: a thermal-based power meter for accounting disaggregated electricity usage
To promote energy-saving behavior, disaggregating electricity usage is critical for increasing consumer awareness of energy usage behavior. This study proposes HeatProbe, a therma...
Bo-Jhang Ho, Hsin-Liu Cindy Kao, Nan-Chen Chen, Ch...
CVPR
2007
IEEE
14 years 10 months ago
Saliency Detection: A Spectral Residual Approach
The ability of human visual system to detect visual saliency is extraordinarily fast and reliable. However, computational modeling of this basic intelligent behavior still remains...
Xiaodi Hou, Liqing Zhang