143
Voted
DAGM
2004
Springer
15 years 7 months ago
2004
Springer
An experimental comparison of `Edge-Element Association (EEA)' and `Marginalized Contour (MCo)' approaches for 3D modelbased vehicle tracking in traffic scenes is complic...
130
Voted
DAGM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. When an object moves, it covers and uncovers texture in the background. This pattern of change is sufficient to define the object's shape, velocity, relative depth, ...
144
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
110
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Trust emerges from interaction. If trust in information systems is to be promoted, then attention must be directed, at least in part, to interaction design. This presentation will ...
119
Voted
CADE
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...