4693 search results - page 804 / 939 » Verifying Hybrid Systems |
116
click to vote
ISVC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A challenge for virtual reality (VR) applications is to increase the realism of an observer’s visual experience. For this purpose the variation of the blur an observer ...
148
click to vote
MSN
2007
Springer
15 years 11 months ago
2007
Springer
We have developed a self-healing key distribution scheme for secure multicast group communications for wireless sensor network environment. We present a strategy for securely distr...
135
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
163
click to vote
CGI
2006
IEEE
15 years 11 months ago
2006
IEEE
We propose a framework to reconstruct human motion based on monocular camera video and motion database. In this framework, we use silhouettes for rough motion estimation based on a...
217
Voted
E2EMON
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— In our previous studies, we proposed ImTCP, an inline network measurement technique that can obtain available bandwidth information of the network path between sender a...