Search for dissertations about: "Bounding"
Showing result 1 - 5 of 67 swedish dissertations containing the word Bounding.
-
1. Effective Techniques for Stateless Model Checking
Abstract : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. READ MORE
-
2. Adaptive Bounding Volume Hierarchies for Efficient Collision Queries
Abstract : The need for efficient interference detection frequently arises in computer graphics, robotics, virtual prototyping, surgery simulation, computer games, and visualization. To prevent bodies passing directly through each other, the simulation system must be able to track touching or intersecting geometric primitives. READ MORE
-
3. Authentication under Constraints
Abstract : Authentication has become a critical step to gain access to services such as on-line banking, e-commerce, transport systems and cars (contact-less keys). In several cases, however, the authentication process has to be performed under challenging conditions. READ MORE
-
4. Be More and be Merry: Enhancing Data and User Authentication in Collaborative Settings
Abstract : Cryptography is the science and art of keeping information secret to un-intended parties. But, how can we determine who is an intended party and who is not? Authentication is the branch of cryptography that aims at confirming the source of data or at proving the identity of a person. This Ph.D. READ MORE
-
5. Stochastic Modeling for Video Object Tracking and Online Learning: manifolds and particle filters
Abstract : Classical visual object tracking techniques provide effective methods when parameters of the underlying process lie in a vector space. However, various parameter spaces commonly occurring in visual tracking violate this assumption. READ MORE