8496 search results - page 1399 / 1700 » Problem Solving and Complex Systems |
188
click to vote
TASE
2007
IEEE
16 years 27 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
179
click to vote
VTC
2007
IEEE
16 years 27 days ago
2007
IEEE
— The characterization of downlink traffic power is an important issue for the design of efficient call admission control (CAC) and radio resource management (RRM) procedures. In...
178
click to vote
WECWIS
2007
IEEE
16 years 27 days ago
2007
IEEE
In e-commerce environment, business partners exchange product information in the form of ecatalogs. Since each business player uses his/her own classification and identification c...
181
click to vote
ACCV
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper proposes a fast method for dense 3-D interpretation to directly estimate a dense map of relative depth and motion from a monocular sequence of images on large ...
155
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...