2312 search results - page 186 / 463 » Invariance in Property Testing |
159
click to vote
BMVC
2001
15 years 7 months ago
2001
New Zernike velocity moments have been developed to describe an object, not only by its shape , but also by its motion throughout an image sequence. These are an extended form of ...
131
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
137
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
135
click to vote
ICWSM
2008
15 years 6 months ago
2008
This paper presents an analysis of the correlation of annotated information unit (textual) tags and geographical identification metadata geotags. In this paper, to make it possibl...
126
click to vote
IVCNZ
1998
15 years 5 months ago
1998
: Feature point FP detection is an important pre-processing step in image registration, data fusion, object recognition and in many other tasks. This paper deals with multiframe FP...