The paper presents a virtual reality modeling system based on interactive web technologies. The system’s goal is to provide a user-friendly virtual environment for the developme...
Major software companies, such as Apple and Google, are disturbing the relatively safe and established actors of the mobile application business. These newcomers have caused signiï...
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
Much work is going into securing the public key infrastructure (PKI). Various models for trust exist; Pretty Good Privacy (PGP) and the Progressive-Constraint Trust model are exam...
The paper presents a new parameter-free approach to non-rigid image registration, where displacements, obtained through a mapping of boundary structures in the source and target i...