Travelled to:1 × Australia
1 × USA
Collaborated with:J.Esparza P.Rossmanith S.Schwoon O.Munkelt C.Ridder W.Hafner
Talks about:system (2) model (2) imag (2) interpret (1) algorithm (1) pushdown (1) person (1) effici (1) driven (1) detect (1)
Person: David Hansel
DBLP: Hansel:David
Contributed to:
2000
1998Wrote 2 papers:
- CAV-2000-EsparzaHRS #algorithm #automaton #model checking #performance
- Efficient Algorithms for Model Checking Pushdown Systems (JE, DH, PR, SS), pp. 232–247.
- ICPR-1998-MunkeltRHH #3d #detection #image #modelling #video
- A model driven 3D image interpretation system applied to person detection in video images (OM, CR, DH, WH), pp. 70–73.