3993 search results - page 22 / 799 » Matchmaking for Structured Objects |
ECCV
2000
Springer
14 years 11 months ago
2000
Springer
Abstract. This paper extends the recovery of structure and motion to image sequences with several independently moving objects. The motion, structure, and camera calibration are al...
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present Shekoosh, a novel framework for constraint-based generation of structurally complex inputs of large sizes. Given a Java predicate that represents the desired s...
ERCIMDL
2007
Springer
14 years 3 months ago
2007
Springer
This paper investigates the use of the logical structure in XML documents for the retrieval of XML multimedia objects. We study different logical levels and their combinations. Our...
ENTCS
2008
13 years 9 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
ISORC
2000
IEEE
14 years 2 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...