Results 191 to 200 of about 90,561 (210)
Automatic Semantic-preserving Conversion Between OBJ and CityGML
Eurographics workshop on urban data modelling and visualisation, 2015 We investigate the automatic conversion between two substantially different formats used in 3D city models: the ubiquitous but semantically poor Wavefront OBJ and the semantically rich but less used OGC standard CityGML. We elaborate on their differences
Filip Biljecki
exaly +4 more sources
Soundness in verification of algebraic specifications with OBJ [PDF]
The Journal of Logic and Algebraic Programming, 2008 The algebraic specification tools of the OBJ family have no notion of open terms or quantifiers. Nonetheless there are methods of proving universally quantified statements about specifications.
Wilander, K.O., Wilander, Olov,
exaly +2 more sources
Correct and Complete (Positive) Strategy Annotations for OBJ [PDF]
Electronic Notes in Theoretical Computer Science, 2004 Strategy annotations are used in several rewriting-based programming languages to introduce replacement restrictions aimed at improving efficiency and/or reducing the risk of nontermination.
Salvador Lucas +2 more
exaly +2 more sources
Fast OBJ file importing and parsing in CUDA [PDF]
Computational Visual Media, 2015 Alias-Wavefront OBJ meshes are a common text file type for transferring 3D mesh data between applications made by different vendors. However, as the mesh complexity gets higher and denser, the files become larger and slower to import. This paper explores
Ickjai Lee
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
GPU-Driven Scalable Parser for OBJ Models
Journal of Computer Science and Technology, 2018Sungkil Lee
exaly
2OBJ: a metalogical framework theroem prover based on equational logic
Philosophical Transactions of the Royal Society: Physical and Engineering Sciences, 1992Joseph Amadee Goguen
exaly
Information Hiding into OBJ Format File Using Vector Steganography Techniques
2018Anton Balaz +2 more
exaly
Encoding W\mathcal{W}: A Logic for Z in 2OBJ
Lecture Notes in Computer Science, 2005Andrew Martin
exaly