3575 search results - page 56 / 715 » Modeling Concurrency with Geometry |
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we consider the images taken from pairs of parabolic catadioptric cameras separated by discrete motions. Despite the nonlinearity of the projection model, the epipol...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Tracking across non-overlapping camera views is still an unsolved problem. Appearance is a popular cue that does not work when the views are considerably different. This paper pro...
113
click to vote
AB
2008
Springer
14 years 11 months ago
2008
Springer
In 2007, Eickmeyer et al. showed that the tree topologies outputted by the Neighbor-Joining (NJ) algorithm and the balanced minimum evolution (BME) method for phylogenetic reconstr...
SOCIALCOM
2010
14 years 7 months ago
2010
A novel method for quantitatively measuring social interactions on small temporal and spatial scales on the basis of interaction geometry (reduced to the parameters interpersonal d...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...