Sciweavers

901 search results - page 117 / 181
» Analyzing linear mergers
Sort
View
ICRA
2007
IEEE
155views Robotics» more  ICRA 2007»
15 years 5 months ago
Swept Volume approximation of polygon soups
— We present a fast GPU-based algorithm to approximate the Swept Volume (SV) boundary of arbitrary polygon soup models. Despite the extensive research on calculating the volume s...
Jesse C. Himmelstein, Etienne Ferre, Jean-Paul Lau...
ICSEA
2007
IEEE
15 years 5 months ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa
ISBI
2007
IEEE
15 years 5 months ago
Wavelet-Based Statistical Analysis for Optical Imaging in Mouse Olfactory Bulb
Optical imaging is a powerful technique to map brain function in animals. In this study, we consider in vivo optical imaging of the murine olfactory bulb, using an intrinsic signa...
Dimitri Van De Ville, Brice Bathellier, Alan Carle...
QEST
2007
IEEE
15 years 5 months ago
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
Peter Kemper, Carsten Tepper
SECON
2007
IEEE
15 years 5 months ago
RSS-based Carrier Sensing and Interference Estimation in 802.11 Wireless Networks
Abstract—We analyze the carrier sensing and interference relations between the two wireless links and measure the impact of these relations on link capacity in two indoor 802.11a...
Jeongkeun Lee, Sung-Ju Lee, Wonho Kim, Daehyung Jo...