599 search results - page 65 / 120 » The repeater tree construction problem |
154
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
95
Voted
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a model-based system for tracking rotating fluids, and apply it to a laboratory study of atmospheric circulation. Tracking is accomplished by filtering uncertain and hi...
143
click to vote
VTC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Game theory has been applied to model power control in wireless systems for years. Conventional power control games tend to consider unlimited backlogged user traffic. Differen...
141
click to vote
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
In this work, we address the problem of building recognition across two camera views with large changes in scales and viewpoints. The main idea is to construct a semantically rich...
159
click to vote
JCB
2000
15 years 4 months ago
2000
Multiple sequence alignments (MSAs) are frequently used in the study of families of protein sequences or DNA/RNA sequences. They are a fundamental tool for the understanding of th...