8808 search results - page 59 / 1762 » Process Change Patterns |
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
CVPR
2010
IEEE
14 years 11 months ago
2010
IEEE
Background modeling plays an important role in video surveillance, yet in complex scenes it is still a challenging problem. Among many difficulties, problems caused by illuminatio...
GLVLSI
2006
IEEE
15 years 3 months ago
2006
IEEE
Process variations have become a serious concern for nanometer technologies. The interconnect and device variations include interand intra-die variations of geometries, as well as...
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
IDEAS
2008
IEEE
15 years 4 months ago
2008
IEEE
As the popularity of areas including document storage and distributed systems continues to grow, the demand for high performance XML databases is increasingly evident. This has le...