Virtual Reality is becoming a mature technology field. To understand its origins and foresee strategies, a study on the last decade of papers published in the Brazilians 'most prominent symposium (the SVR - Sympos...
详细信息
ISBN:
(纸本)9781479942619
Virtual Reality is becoming a mature technology field. To understand its origins and foresee strategies, a study on the last decade of papers published in the Brazilians 'most prominent symposium (the SVR - symposium on Virtual and Augmented Reality) has been carried out. Papers were classified according to language, international participants, areas and sub-areas of application and related technologies. Although oversees participants has proven not constant, papers published in English has proven stable to SVR editions. the study also shows that health related applications have received most of the attention although techniques and tools proposal have raised the most recently which could be related to the low-level programminglanguages and frameworks preferences. the number of Augmented Reality papers has grown steadily and a great variety of underlying knowledge fields (such as 3D interaction and real-time simulation) are persistent topics of interest. An expected shift from VRML to other 3D Web technologies have already happened but there are just a few research papers devoted to formulative, evaluative or descriptive approaches. Data show that by improving the research budget to the area could impact productivity;a centralized database of publications would facilitate recovering and analyzing past contributions and;that enforcing more scientifically rigorous and English-written papers could raise the quality and visibility of Brazilians' research in VR.
With motivation from considerations in XML databasetheory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position, a symbol and a data value from...
详细信息
ISBN:
(纸本)9783540742395
With motivation from considerations in XML databasetheory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position, a symbol and a data value from an infinite domain. Previous work has shown that it is difficult to come up with an expressive yet decidable automaton model for data languages. Recently, such a model, data automata, was introduced. this paper introduces a simpler but equivalent model and investigates its expressive power, algorithmic and closure properties, and some extensions. (C) 2009 Elsevier B.V. All rights reserved.
the proceedings contain 16 papers. the topics discussed include: efficient algorithms for the tree homeomorphism problem;a methodology for coupling fragments of XPath with structural indexes for XML documents;conjunct...
详细信息
ISBN:
(纸本)9783540759867
the proceedings contain 16 papers. the topics discussed include: efficient algorithms for the tree homeomorphism problem;a methodology for coupling fragments of XPath with structural indexes for XML documents;conjunctive query containment over trees;a better semantics for XQuery with side-effects;repairing inconsistent XML write-access control policies;on the consistent rewriting of conjunctive queries under primary key constraints;relational completeness of query languages for annotated databases;a theory of stream queries;querying structural and behavioral properties of business processes;succinctness of pattern-based schema languages for XML;analysis of imperative XML programs;efficient inclusion for a class of XML types with interleaving and counting;and towards practical typechecking for macro tree transducers.
the paper develops EDITOR, a language for manipulating semistructured documents, such as those typically available on the Web. EDITOR programs are based on two simple ideas, taken from text editors: "search"...
详细信息
the paper develops EDITOR, a language for manipulating semistructured documents, such as those typically available on the Web. EDITOR programs are based on two simple ideas, taken from text editors: "search" instructions are used to select regions of interest in a document, and "cut & paste" instructions to restructure them. We study the expressive power and the complexity of these programs. We show that they are computationally complete, in the sense that any computable document restructuring can be expressed in EDITOR. We also study the complexity of a safe subclass of programs, showing that it captures exactly the class of polynomial-time restructurings. the language has been implemented in Java and is currently used in the ARANEUS project as a basis for a wrapper-generation toolkit. (C) 1999 Academic Press.
this volume contains the proceedings of the 11thinternationalsymposium on databaseprogramminglanguages (dbpl 2007), held in Vienna, Austria, on September 23–24, 2007. dbpl 2007 was one of 15 meetings co-located w...
详细信息
ISBN:
(数字)9783540759874
ISBN:
(纸本)9783540759867
this volume contains the proceedings of the 11thinternationalsymposium on databaseprogramminglanguages (dbpl 2007), held in Vienna, Austria, on September 23–24, 2007. dbpl 2007 was one of 15 meetings co-located with VLDB (the international Conference on Very Large Data Bases). dbplcontinues to presentthe verybest workat the intersectionof database and programming language research. the proceedings include a paper based on the invited talk by Wenfei Fan and the 16 contributed papers that were selected by the programcommittee from 41 submissions. Every submission was reviewed by at least three members of the program committee. In addition, the program committee sought the opinions of additional referees, selected because of their expertise on particular topics. the ?nal selection of papers was made during the last week of July. We would like to thank all of the authors who submitted papers to the c- ference, and the members of the program committee for their excellent work. the program committee did not meet in person, but carried out extensive d- cussions during the electronic PC meeting. We are grateful to Andrei Voronkov for his EasyChair system that made it so easy to manage these discussions. Finally, we would also like to thank Christoph Koch and Gavin Bierman for their assistance and sound counsel, and the organizers of VLDB 2007 for taking care of the local organization of dbpl.
暂无评论