4971 search results - page 210 / 995 » Observation systems |
130
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
We consider the problem of optimizing the performance of a latency-insensitive system (LIS) where the addition of backpressure has caused throughput degradation. Previous works ha...
309
click to vote
NFM
2011
15 years 1 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
189
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...
168
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We propose a method of calibrating multiple camera systems that operates by adjusting the camera parameters and the 3D shape of objects onto silhouette observations. Our method em...
164
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Source code search is an important activity for programmers working on a change task to a software system. As part of a larger project to improve tool support for finding informa...