3053 search results - page 205 / 611 » Structured Objects: Modeling and Reasoning |
148
click to vote
IPM
2000
15 years 3 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...
143
click to vote
ICCS
2003
Springer
15 years 9 months 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...
141
Voted
ICCV
2005
IEEE
15 years 9 months 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...
132
click to vote
CVPR
2008
IEEE
16 years 5 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...
135
click to vote
TACAS
2007
Springer
15 years 10 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...