Sciweavers

3527 search results - page 441 / 706
» Test Automation in Practice
Sort
View
GI
2009
Springer
14 years 9 months ago
An Automotive Perception System using Distance Cameras and Polar Occupancy Grids
Abstract: One of the basic tasks of automotive collision avoidance and collision mitigation systems is the robust and reliable detection of objects as well as the prediction of fut...
Norman Mattern, Robin Schubert, Christian Adam, Ge...
ICCMS
2009
118views more  ICCMS 2009»
14 years 9 months ago
Optimized Parallel Implementation of Gillespie's First Reaction Method on Graphics Processing Units
The simulation of chemical reacting systems is one of the most challenging topics in Systems Biology, due to their complexity and inherent randomness. The Gillespie's Stochas...
Cristian Dittamo, Davide Cangelosi
IDEAL
2009
Springer
14 years 8 months ago
An Automatic Segmentation and Reconstruction of Mandibular Structures from CT-Data
In any medical data analysis a good visualization of specific parts or tissues are fundamental in order to perform accurate diagnosis and treatments. For a better understanding of ...
Iñigo Barandiarán, Iván Mac&i...
ALGORITHMICA
2011
14 years 6 months ago
An Approximation Algorithm for Binary Searching in Trees
We consider the problem of computing efficient strategies for searching in trees. As a generalization of the classical binary search for ordered lists, suppose one wishes to find...
Eduardo Sany Laber, Marco Molinaro
CORR
2011
Springer
216views Education» more  CORR 2011»
14 years 6 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot