Sciweavers

4127 search results - page 570 / 826
» Evaluation methods for topic models
Sort
View
CVPR
2006
IEEE
16 years 8 months ago
Three-Dimensional Volume Reconstruction Based on Trajectory Fusion from Confocal Laser Scanning Microscope Images
In this paper, we address the problem of 3D volume reconstruction from depth adjacent subvolumes (i.e., sets of image frames) acquired using a confocal laser scanning microscope (...
Sang-Chul Lee, Peter Bajcsy
ICIP
2007
IEEE
16 years 8 months ago
Skeleton-Based Tornado Hook Echo Detection
We propose and evaluate a method to identify tornadoes automatically in Doppler radar imagery by detecting hook echoes, which are important signatures of tornadoes, in Doppler rad...
Hongkai Wang, Robert E. Mercer, John L. Barron, Pa...
FMCAD
2009
Springer
16 years 1 months ago
Decision diagrams for linear arithmetic
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
Sagar Chaki, Arie Gurfinkel, Ofer Strichman
ROMAN
2007
IEEE
156views Robotics» more  ROMAN 2007»
16 years 27 days ago
Development and User Testing of the Gestural Joystick for Gloves-On Hazardous Environments
— For controlling robots in an urban search and rescue (USAR) application, we present a wearable joystick with improved sensing capability as well as Giant MagnetoResistance(GMR)...
Jaewook Bae, Amy C. Larson, Richard M. Voyles, Roy...
ISIPTA
2003
IEEE
111views Mathematics» more  ISIPTA 2003»
15 years 12 months ago
The DecideIT Decision Tool
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...
Mats Danielson, Love Ekenberg, Jim Johansson, Aron...