7335 search results - page 1000 / 1467 » Scene Based Reasoning |
142
Voted
WOLLIC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
112
click to vote
DATE
2006
IEEE
16 years 28 days ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
175
click to vote
E2EMON
2006
IEEE
16 years 28 days ago
2006
IEEE
—In this paper we present a way of tuning the temporal characteristics of a new available-bandwidth estimation method, BART. The estimation engine in this method is Kalman-filter...
148
click to vote
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
Multimodal surveillance systems using visible/IR cameras and other sensors are widely deployed today for security purpose, particularly when subjects are at a large distance. Howe...
156
click to vote
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper, we study the problem of the fast selection of video objects, as an aid for the efficient semi-automatic annotation of video programs. In a regular system, the user ...