4693 search results - page 829 / 939 » Verifying Hybrid Systems |
118
click to vote
IVC
2006
15 years 20 days ago
2006
In this paper, we propose a new method to estimate players' and ball's positions from monocular broadcast soccer video. With the relationship between objects and the cam...
116
Voted
KES
2008
Springer
15 years 20 days ago
2008
Springer
Software testing is an integral part of software engineering. Lack of testing often leads to disastrous consequences including loss of data, fortunes, and even lives. In order to e...
138
click to vote
JHSN
2006
15 years 20 days ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...
121
Voted
LOGCOM
2008
15 years 20 days ago
2008
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
102
click to vote
ENGL
2007
15 years 20 days ago
2007
Realize the operating conditions of a manufacturing plant are essential for providing corresponding actions responsively. This is because all processes are interrelated and a smal...