6167 search results - page 1050 / 1234 » Can Refinement be Automated |
CVIU
2006
13 years 10 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...
ENTCS
2006
13 years 10 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...
ENTCS
2006
13 years 10 months ago
2006
Since many domains are constantly evolving, the associated domain specific languages (DSL) inevitably have to evolve too, to retain their value. But the evolution of a DSL can be ...
EOR
2006
13 years 10 months ago
2006
Flexibility and automation in assembly lines can be achieved by the use of robots. The robotic assembly line balancing (RALB) problem is defined for robotic assembly line, where d...
GRID
2006
Springer
13 years 10 months ago
2006
Springer
Monitoring and correlation of streaming data from multiple sources is becoming increasingly important in many application areas. Example applications include automated commodities...