Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Digital Hampi: Preserving Indian Cultural Heritage / / edited by Anupama Mallik, Santanu Chaudhury, Vijay Chandru, Sharada Srinivasan
| Digital Hampi: Preserving Indian Cultural Heritage / / edited by Anupama Mallik, Santanu Chaudhury, Vijay Chandru, Sharada Srinivasan |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (xiv, 403 pages) : illustrations |
| Disciplina | 363.69 |
| Soggetto topico |
User interfaces (Computer systems)
Application software Multimedia information systems Computers and civilization User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) Multimedia Information Systems Computer Applications Computers and Society |
| ISBN | 981-10-5738-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section 1 – Modelling & Representing Tangible Heritage of Hampi: Chapter 1. Acquisition, Representation & Display of Digital Heritage Sites -- Chapter 2. A Methodology to reconstruct large damaged regions in heritage structures -- Chapter 3. Recovering the 3D geometry of heritage monuments from image collection -- Chapter 4. Realistic walk through of cultural heritage sites – Hampi -- Chapter 5. Making of Hampi: An attempt to bridge culture & technology -- Chapter 6. Haptic rendering of musical pillars of hampi -- Section 2 – Analysis & Digital Restoration of Artifacts: Chapter 7. Digital renderings, iconographic & iconometric study of Vijayanagara Sculpture -- Chapter 8. A Patch based constrained impainting for damaged mural images -- Chapter 9. Mobile visual search for Digital Heritage Applications -- Chapter 10. Automatic detection & impainting of defaced regions & cracks in heritage monuments -- Chapter 11. Feature matching for architectural scenes -- Chapter 12. Processing of historic inscription images -- Section 3 – Social Life, Living tradition: Chapter 13. Architectural & Social Life reconstruction of Bazar streets of Hampi: Vijayanagara Period -- Chapter 14. Creating Personalized Avatars -- Chapter 15. Vijayanagar Intangible heritage through Vijayadashami tradition -- Section 4 – Ontology & Knowledge Bank: Chapter 16. An intellectual exploration of the Girija Kalyana -- Chapter 17. The Knowledge Bank of IDH – Hampi. . |
| Record Nr. | UNINA-9910280956503321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of Software Technology and Theoretical Computer Science [[electronic resource] ] : 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings / / edited by Vijay Chandru, V. Vinay
| Foundations of Software Technology and Theoretical Computer Science [[electronic resource] ] : 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings / / edited by Vijay Chandru, V. Vinay |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XIII, 395 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer logic Algorithms Mathematical logic Computer graphics Theory of Computation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Computer Graphics |
| ISBN | 3-540-49631-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Circuit complexity before the dawn of the new millennium -- A lambda calculus with letrecs and barriers -- Tables -- Mechanized formal methods: Progress and prospects -- The parameter space of the d-step conjecture -- On the complexity of approximating Euclidean traveling salesman tours and minimum spanning trees -- Efficient computation of rectilinear geodesic voronoi neighbor in presence of obstacles -- Weak bisimulation and model checking for Basic Parallel Processes -- Testing processes for efficiency -- Regularity is decidable for normed PA processes in polynomial time -- Dynamic maintenance of shortest path trees in simple polygons -- Close approximations of minimum rectangular coverings -- A new competitive algorithm for agent searching in unknown streets -- On the design of hybrid control systems using automata models -- Constraint retraction in FD -- Winskel is (almost) right -- An optimal deterministic algorithm for online b-matching -- Tight bounds for prefetching and buffer management algorithms for parallel I/O systems -- Complexity of the gravitational method for linear programming -- Optimal and information theoretic syntactic Pattern Recognition involving traditional and transposition errors -- Minimal relative normalization in orthogonal expression reduction systems -- Trace consistency and inevitability -- Finite state implementations of knowledge-based programs -- Higher-order proof by consistency -- Advocating ownership -- Non-cancellative Boolean circuits: A generalization of monotone Boolean circuits -- Limitations of the QRQW and EREW PRAM models -- Pinpointing computation with modular queries in the Boolean hierarchy -- Characterization of the principal type of normal forms in an intersection type system -- Correcting type errors in the Curry System -- Immediate fixpoints and their use in groundness analysis -- Graph types for monadic mobile processes. |
| Record Nr. | UNISA-996465976203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||