3208 search results - page 357 / 642 » Methods and views |
211
click to vote
CA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a system for animating customized virtual humans using motion parameters estimated from multi-view image sequences. The advantage of our method is that the sub...
154
click to vote
ICIP
1998
IEEE
15 years 11 months ago
1998
IEEE
: Recently, multi-screen projection systems are widely used in the field of virtual reality. Within the system bounded by screens, users can view the panoramic stereoscopic images ...
170
click to vote
TABLEAUX
1999
Springer
15 years 11 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
181
click to vote
ECBS
1997
IEEE
15 years 11 months ago
1997
IEEE
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...
163
click to vote
SP
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...