1314 search results - page 136 / 263 » Validation of Object Oriented Models using Animation |
130
Voted
APN
2010
Springer
15 years 4 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
100
click to vote
PAMI
2007
14 years 12 months ago
2007
—We consider the problem of matching images to tell whether they come from the same scene viewed under different lighting conditions. We show that the surface characteristics det...
110
Voted
SAINT
2008
IEEE
15 years 6 months ago
2008
IEEE
Object replication and cache consistency have been one of major design issues in the recent Internet applications. In this paper, we forcus on accuracy-aware applications (i.e., s...
79
Voted
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
— Moments are generic (and usually intuitive) descriptors that can be computed from several kinds of objects deï¬ned either from closed contours or from a set of points. In this...
106
Voted
ISMAR
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper introduces a â€Diminished Reality†technique for removing an object or collection of objects and replacing it with an appropriate background image. Diminished Realit...