7167 search results - page 89 / 1434 » A Technique for Invariant Generation |
175
click to vote
MOBIHOC
2008
ACM
16 years 5 months ago
2008
ACM
In order to better understand human and animal mobility and its potential effects on Mobile Ad-Hoc networks and Delay-Tolerant Networks, many researchers have conducted experiment...
204
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
181
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Varying illumination and partial occlusion are two main difficulties in visual tracking. Existing methods based on appearance information cannot solve these problems effectively s...
161
click to vote
ICDM
2009
IEEE
16 years 25 days ago
2009
IEEE
—We propose a novel representative based subgraph mining model. A series of standards and methods are proposed to select invariants. Patterns are mapped into invariant vectors in...
166
click to vote
ICARCV
2008
IEEE
16 years 19 days ago
2008
IEEE
—This paper proposes a set of methods for building informative and robust feature point representations, used for accurately labeling points in a 3D point cloud, based on the typ...