1511 search results - page 239 / 303 » Hierarchical Graph Transformation |
162
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
157
click to vote
IPSN
2011
Springer
14 years 8 months ago
2011
Springer
In a sensor network there are many paths between a source and a destination. An efficient method to explore and navigate in the ‘path space’ can help many important routing p...
237
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Autonomous cars will likely play an important role in the future. A vision system designed to support outdoor navigation for such vehicles has to deal with large dynamic environme...
145
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper describes a technique for generating partition sequences of regions presenting long-term homogeneity in color and motion coherency in terms of affine models. The techni...
143
Voted
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Learning typical motion patterns or activities from videos of crowded scenes is an important visual surveillance problem. To detect typical motion patterns in crowded scenarios, w...