780 search results - page 4 / 156 » Compositional Quantitative Reasoning |
ECAI
2004
Springer
14 years 22 days ago
2004
Springer
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
AAAI
1998
13 years 8 months ago
1998
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
ECSQARU
1997
Springer
13 years 11 months ago
1997
Springer
FM
2003
Springer
14 years 17 days ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...