780 search results - page 93 / 156 » Compositional Quantitative Reasoning |
111
click to vote
ENTCS
2007
15 years 2 months ago
2007
Markovian testing and trace equivalences have been recently proposed as reasonable alternatives to Markovian bisimilarity, as both of them induce at the Markov chain level an aggr...
123
Voted
PAMI
2008
15 years 2 months ago
2008
Segmentation and tracking of multiple humans in crowded situations is made difficult by interobject occlusion. We propose a model-based approach to interpret the image observations...
TGIS
2008
15 years 2 months ago
2008
Assessing spatial scenes for similarity is difficult from a cognitive and computational perspective. Solutions to spatial-scene similarity assessments are sensible only if corresp...
124
click to vote
MVA
2000
15 years 2 months ago
2000
We propose a new approach for automatic road extraction from aerial imagery with a model and a strategy mainly based on the multi-scale detection of roads in combination with geome...
123
click to vote
MVA
2007
15 years 1 months ago
2007
Abstract In this paper an approach for motion capture of dressed people is presented. A cloth draping method is incorporated in a silhouette based motion capture system. This leads...