12745 search results - page 2234 / 2549 » Automating test automation |
251
click to vote
COMCOM
2006
15 years 7 months ago
2006
As the Internet evolves into an all-IP communication infrastructure, a key issue to consider is that of creating and managing IP-based services with efficient resource utilization...
242
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
217
click to vote
CVIU
2006
15 years 7 months ago
2006
Action recognition is an important and challenging topic in computer vision, with many important applications including video surveillance, automated cinematography and understand...
235
Voted
CVIU
2006
15 years 7 months ago
2006
In this paper we develop a system for human behaviour recognition in video sequences. Human behaviour is modelled as a stochastic sequence of actions. Actions are described by a f...
204
click to vote
ENTCS
2006
15 years 7 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...