780 search results - page 4 / 156 » Compositional Quantitative Reasoning |
174
Voted
ECAI
2004
Springer
16 years 21 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...
150
Voted
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
206
Voted
FM
2003
Springer
16 years 15 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 ...