3053 search results - page 205 / 611 » Structured Objects: Modeling and Reasoning |
199
Voted
IPM
2000
15 years 6 months ago
2000
SGML standardized in ISO 8879 [International Organization for Standardization (1986)] has been proliferated because it can provide various styles and transform documents on dieren...
208
Voted
ICCS
2003
Springer
16 years 6 days ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
208
Voted
ICCV
2005
IEEE
16 years 19 days ago
2005
IEEE
Reconstruction of 3D structures from uncalibrated image sequences has a wealthy history. Most work has been focused on rigid objects or static scenes. This paper studies the probl...
192
Voted
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
This paper presents an approach for including 3D prior models into a factorization framework for structure from motion. The proposed method computes a closed-form affine fit which...
201
Voted
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...